Can now add halting property to a state