None, "NRefiner failure: " ^ snd (Lazy.force msg)
| NCicRefiner.Uncertain msg ->
None, "NRefiner uncertain: " ^ snd (Lazy.force msg)
None, "NRefiner failure: " ^ snd (Lazy.force msg)
| NCicRefiner.Uncertain msg ->
None, "NRefiner uncertain: " ^ snd (Lazy.force msg)
| NCicTypeChecker.TypeCheckerFailure msg ->
None, "NTypeChecker failure: " ^ Lazy.force msg
| NCicTypeChecker.AssertFailure msg ->
| NCicTypeChecker.TypeCheckerFailure msg ->
None, "NTypeChecker failure: " ^ Lazy.force msg
| NCicTypeChecker.AssertFailure msg ->