let never_terminates kf =
  try
    Never_Terminates.find kf
  with Not_found ->
    assert (not (is_called kf));
    false