let state_name (kf,model) = Printf.sprintf "Function '%s' is consistent with %s" (Kernel_function.get_name kf) model