Issue 11909 - Struct members and static arrays break pure function escape analysis (immutability violation).
Clarify traverseIndirections implementation.

No functional change intended.
Make taverseIndirections() return bool instead of int.