updated program run with halting
updated semantics for halting