snd (to_string e)
| NCicEnvironment.BadConstraint msg ->
None, "NCicEnvironment bad constraint: " ^ Lazy.force msg
+ | NCicUnification.UnificationFailure msg ->
+ None, "NCicUnification failure: " ^ Lazy.force msg
| CicTypeChecker.TypeCheckerFailure msg ->
None, "Type checking error: " ^ Lazy.force msg
| CicTypeChecker.AssertFailure msg ->