let
list_of_vars a =
Term
.
Set
.elements (vars_of a)