fix compile_call_repl_step_thm to allow FV_dec nonempty

since call_repl_step_dec has a free variable: "call_repl_step".