external_scope     80 src/Solve.cpp      const Scope<Expr> &external_scope;
external_scope    706 src/Solve.cpp          } else if (external_scope.contains(op->name)) {
external_scope    707 src/Solve.cpp              Expr e = external_scope.get(op->name);