merged semantics for halting