in clause p/oi(d(e(const(A))),const(0)). variables have no producer: ["A"]
real 0m0.205s user 0m0.184s sys 0m0.024s