let
mark_as_terminates kf =
Never_Terminates
.add kf
false