None, "NCicEnvironment bad constraint: " ^ Lazy.force msg
| NCicUnification.UnificationFailure msg ->
None, "NCicUnification failure: " ^ Lazy.force msg
None, "NCicEnvironment bad constraint: " ^ Lazy.force msg
| NCicUnification.UnificationFailure msg ->
None, "NCicUnification failure: " ^ Lazy.force msg