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