Thread Safety Analysis: fix to improve handling of references to guarded
data members and range based for loops.