| MatitaEngine.FailureCompiling (filename,exn) ->
None, "Compiling " ^ filename ^ ":\n" ^ snd (to_string exn)
| NCicRefiner.AssertFailure msg ->
| MatitaEngine.FailureCompiling (filename,exn) ->
None, "Compiling " ^ filename ^ ":\n" ^ snd (to_string exn)
| NCicRefiner.AssertFailure msg ->