+ | NCicRefiner.Uncertain msg ->
+ None, "NRefiner uncertain: " ^ snd (Lazy.force msg)
+ | NCicMetaSubst.Uncertain msg ->
+ None, "NCicMetaSubst uncertain: " ^ Lazy.force msg
+ | NCicTypeChecker.TypeCheckerFailure msg ->
+ None, "NTypeChecker failure: " ^ Lazy.force msg
+ | NCicTypeChecker.AssertFailure msg ->
+ None, "NTypeChecker assert failure: " ^ Lazy.force msg
+ | NCicEnvironment.ObjectNotFound msg ->
+ None, "NCicEnvironment object not found: " ^ Lazy.force msg
+ | NCicEnvironment.AlreadyDefined msg ->
+ None, "NCicEnvironment already defined: " ^ Lazy.force msg