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