try
NCicTypeChecker.typecheck_obj o
with
| NCicTypeChecker.AssertFailure s
| NCicTypeChecker.TypeCheckerFailure s
| NCicEnvironment.ObjectNotFound s
try
NCicTypeChecker.typecheck_obj o
with
| NCicTypeChecker.AssertFailure s
| NCicTypeChecker.TypeCheckerFailure s
| NCicEnvironment.ObjectNotFound s