let typecheck_obj uri obj =
  try 
    NCicTypeChecker.typecheck_obj (HExtlib.list_last (OCic2NCic.convert_obj uri
    obj)); true
  with 
    | NCicTypeChecker.TypeCheckerFailure _
    | NCicTypeChecker.AssertFailure _ -> false