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