None, "NTypeChecker assert failure: " ^ Lazy.force msg
| NCicEnvironment.ObjectNotFound msg ->
None, "NCicEnvironment object not found: " ^ Lazy.force msg
None, "NTypeChecker assert failure: " ^ Lazy.force msg
| NCicEnvironment.ObjectNotFound msg ->
None, "NCicEnvironment object not found: " ^ Lazy.force msg