private static String invariant2str(PptTopLevel ppt, Invariant inv) { return ppt.name + " == " + inv.repr() + inv.getClass() + inv.varNames() + ": " + inv.format(); }