let translate kf env p =
  try T.predicate kf env p
  with T.AbortTranslation msg -> MV.abort msg