ModuleExplorer: Implemented "EvalUntil".