void ExprCopy::visit(const ExprLeaf& e) { e.acceptVisitor(*this); }
void ConstantGenerator::visit(const ExprLeaf& x) { x.acceptVisitor(*this); }