void visit(EBinary expression);
void visit(EBind expression);
void visit(EBlock expression);
- void visit(ECHRRuleset echrRuleset);
+ void visit(ECHRRuleset expression);
+ void visit(ECHRRulesetConstructor expression);
void visit(EConstant expression);
void visit(ECoveringBranchPoint expression);
void visit(EEnforce expression);