FIXED: Cycle-safe detection whether a term contains functions.  This is only half of the fix for expand_goal/2 if the first argument is cyclic.  The other half must expand functions in the context of cyclic terms.
FIXED: Cycle-safe detection whether a term contains functions.  This is only
half of the fix for expand_goal/2 if the first argument is cyclic.  The other
half must expand functions in the context of cyclic terms.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel