let clear () = IH.clear Param.states