@Override
public boolean entails(Region pF1, Region pF2) {
cleanupReferences();
// check entailment using BDDs: create the BDD representing
// the implication, and check that it is the TRUE formula
BDD imp = unwrap(pF1).imp(unwrap(pF2));
boolean result = imp.isOne();
imp.free();
return result;
}
