edu.toronto.cs.yasm.refiner
Classes 
CBJPredicateAbstractor
CFFCPredicateAbstractor
CvclCBJPredicateAbstractor
CvclCFFCPredicateAbstractor