proveit.
used_vars
Return all of the used Variables of this Expression, included those in sub-expressions.