NO_TERMINATION_CHECK -> TERMINATING