Determine if s may be affected if an assignment is done through a pointer.
symbol to check
true if it may be modified by assignment through a pointer
See Implementation
Determine if s may be affected if an assignment is done through a pointer.