repl_fun' cheat reintroduced in replCorrect
bc_eval cheats proved for repl_fun_alt