find_terms : (term -> bool) -> term -> term list
# find_terms is_var `x + y + z`;; val it : term list = [`z`; `y`; `x`]
# find_terms is_comb `x + y + z`;; val it : term list = [`(+) y`; `y + z`; `(+) x`; `x + y + z`]