Kill_if implementation, and kill and stall semantics fixes.