Added halt form to CPS.