let mark_as_terminates kf = Never_Terminates.add kf false