public void visit(Predicate p) { p.visitBooleanType(this); }
public void visit(Predicate p) { p.visitDefOp(this); }
public void visit(Predicate p) { p.visitBound(this); }
public void visit(Predicate p) { p.visitMultiBranchStmt(this); }
public void visit(Predicate p) { p.visitAllocateSettingFieldsOp(this); }