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