- linearize(+SubTermType, +Term, -Linear, List, Tail) is det
- If SubTermType is term, replace bounded variables in Term so that it becomes
linear, and place it with Linear. If SubTermType is atom, do such
replacement with atomic values in the term. List collects the performed
substitutions in the form of Substitution=OriginalSubTerm.