gistfile1.txt

// This sucks. foo, bar, and baz are mentioned way too many times, mostly just to capture references to them.
bool my_function(Expr e) {

    Foo foo = ...;
    Bar bar = ...;
    Baz baz = ...;   
    
    class CheckForSpecialNode : public IRVisitor {
        using IRVisitor::visit;
        void visit(const Add *op) override {
            result |= check_property(op, foo, bar, baz);
        }
        void visit(const Sub *op) override {
            result |= check_property(op, foo, bar, baz);
        }        
        const Foo &foo;
        const Bar &bar;
        const Baz &baz;
    public:
        CheckForSpecialNode(const Foo &foo, const Bar &bar, const Baz &baz) : foo(foo), bar(bar), baz(baz) {}
        bool result = false;
    } checker(foo, bar, baz);

    e.accept(&checker);
    return checker.result;
}

// This would be better:
bool my_function(Expr e) {
    Foo foo = ...;
    Bar bar = ...;
    Baz baz = ...;   
    bool result = false;
    e.accept([&](const Add *op) {result |= check_property(op, foo, bar, baz);},
             [&](const Sub *op) {result |= check_property(op, foo, bar, baz);});
    return result;
};