let
of_term t =
AIterm
t