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