private static PExp normalize(TypeGraph g, Exp original) { if (original == null) { original = g.getTrueVarExp(); } original = Utilities.applyQuantification(original); return PExp.buildPExp(original); }