alternative theory proving repl_decs_compiled by cheat