Changed: more execution termination tests