| NCicTypeChecker.TypeCheckerFailure msg ->
None, "NTypeChecker failure: " ^ Lazy.force msg
| NCicTypeChecker.AssertFailure msg ->
None, "NTypeChecker assert failure: " ^ Lazy.force msg
| NCicRefiner.AssertFailure msg ->
None, "NRefiner assert failure: " ^ Lazy.force msg
| NCicTypeChecker.TypeCheckerFailure msg ->
None, "NTypeChecker failure: " ^ Lazy.force msg
| NCicTypeChecker.AssertFailure msg ->
None, "NTypeChecker assert failure: " ^ Lazy.force msg
| NCicRefiner.AssertFailure msg ->
None, "NRefiner assert failure: " ^ Lazy.force msg