fixed bug in pruning of enumeration