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) ->