let wrap_exc msg = function
| NCicUnification.Uncertain _ -> Uncertain msg
| NCicUnification.UnificationFailure _ -> RefineFailure msg
let wrap_exc msg = function
| NCicUnification.Uncertain _ -> Uncertain msg
| NCicUnification.UnificationFailure _ -> RefineFailure msg