Use the named free variables in the term's properties rather than the
free variables in the list of the term's properties.
(Refactoring towards optimization.)