prove cheats in REPL_FUN_REPL_FUN_STATE_TYPE_closed