let
vars_of_term (term: term) : var list =
do_vars_of_term [] term