Simplifies expandSymbol() post 2.10

- opacity of positions for synthetics in pattern matching or deconstructing is
fixed.
 Besides, Same positions are now > 3 hops away, and not being reported.
- allOverridenSymbols usage