let tcond c =
  try T.cond c
  with T.AbortTranslation msg -> MV.abort msg