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