when prunning it was not considered prunned variables from previous iterations.  that is, when prunning vars ?u ?v, in that order, perhaps prunning ?u already prunned ?v if ?v appears in the type of ?u