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