- subterm_pos(+SubTerm, +Term, :Cmp, +TermPosition, -SubTermPos) is nondet
- True when SubTerm is a sub term of Term, compared using Cmp,
TermPosition describes the term layout of Term and SubTermPos
describes the term layout of SubTerm. Cmp is typically one of
same_term, ==, =@= or subsumes_term