public static RAny eval(ASTNode expr, boolean useDebuggingFormat) {
debuggingFormat(useDebuggingFormat);
return eval(expr);
// NOTE: cannot reset to the original value of debuggingFormat here, because usually the pretty
// printer is
// invoked on the results afterwards by the caller of eval; the pretty printer still depends on
// the correct
// setting of debugging format
}
