    virtual void pre_hook() {}
    virtual void post_hook() {}
    virtual void init_hook(const expr_t& x) {}
    virtual void node_hook(const expr_t& x) {}
    virtual void and_hook(const expr_t& x) {}
    virtual void or_hook(const expr_t& x) {}
    virtual void state_hook(const expr_t& x) {}
    virtual void const_hook(const expr_t& x) {}