Whether a term is fully static, i.e. contains no variables, recursing into Quads.
The term to check
whether it is variable-free
Whether a term is fully static, i.e. contains no variables, recursing into Quads.