let of_term t = AIterm t