PrintWriter stdout = ctx.getStdOut();
PrintWriter stderr = ctx.getStdErr();
if(testResultListener == null){
testResultListener = (ITestResultListener) new DefaultTestResultListener(stderr);
}
IMap symbol_definitions = (IMap) program.get("symbol_definitions");
RVM rvm = new RVM(new RascalExecutionContext(vf, symbol_definitions, debug.getValue(), profile.getValue(), ctx, testResultListener));