prove cheats in INPUT_TYPE_all_cns_repl_decs_cenv