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
| NCicRefiner.AssertFailure msg ->
None, "NRefiner assert failure: " ^ Lazy.force msg
| NCicEnvironment.BadDependency (msg,e) ->
snd (to_string e)
| NCicEnvironment.BadConstraint msg ->
None, "NCicEnvironment bad constraint: " ^ Lazy.force msg
+ | NCicUnification.UnificationFailure msg ->
+ None, "NCicUnification failure: " ^ Lazy.force msg
+ | NCicUnification.Uncertain msg ->
+ None, "NCicUnification uncertain: " ^ Lazy.force msg
| CicTypeChecker.TypeCheckerFailure msg ->
None, "Type checking error: " ^ Lazy.force msg
| CicTypeChecker.AssertFailure msg ->