moved some methods in the conditionTraversers and changed inheritance in preparation of new pruning strategy