void visit(EBinary expression);
void visit(EBind expression);
void visit(EBlock expression);
void visit(EBinary expression);
void visit(EBind expression);
void visit(EBlock expression);
void visit(EConstant expression);
void visit(ECoveringBranchPoint expression);
void visit(EEnforce expression);
void visit(EConstant expression);
void visit(ECoveringBranchPoint expression);
void visit(EEnforce expression);