Did you know ... Search Documentation:
Predicate term_innerpos/4
 term_innerpos(OFrom, OTo, InnerFrom, InnerTo)
Contains the inner positions of a term, that exclude comments and some extra parenthesis.