NO_TERMINATION_CHECK -> NON_TERMINATING