None, "Refiner error: " ^ Lazy.force msg
| NCicRefiner.RefineFailure msg ->
None, "NRefiner failure: " ^ snd (Lazy.force msg)
None, "Refiner error: " ^ Lazy.force msg
| NCicRefiner.RefineFailure msg ->
None, "NRefiner failure: " ^ snd (Lazy.force msg)