MonotonicVisitor  388 src/Monotonic.cpp     MonotonicVisitor(const std::string &v) : var(v), result(Monotonic::Unknown) {}
MonotonicVisitor  393 src/Monotonic.cpp     MonotonicVisitor m(var);