| Continuationals.Error s -> "Tactical error: " ^ Lazy.force s
| CicTypeChecker.TypeCheckerFailure msg ->
"Type checking error: " ^ Lazy.force msg
| Continuationals.Error s -> "Tactical error: " ^ Lazy.force s
| CicTypeChecker.TypeCheckerFailure msg ->
"Type checking error: " ^ Lazy.force msg