Updated MCRevert::exec(ep) to MCRevert::exec_ctxt(ctxt)