let clear () = IH.clear states