method clean_kf_result (_ : kernel_function) (r: Locations.Zone.t) = r