[analyzer; alternate arrows] the initializer of a ForStmt isn't interesting either.
[analyzer; alternate arrows] the extra edge to the closing '}' in a loop adds no value.
[analyzer; alternate arrows] include an edge from the "break" or "continue"
[analyzer; alternate arrows] include logical '||' and '&&' as anchors for edges.
[analyzer; alternate arrows] remove pruning of loop diagnostics.
[analyzer; alternate arrows] add back recording whether we visited the first edge.
[analyzer;alternate arrows] Fix inconsistencies in recorded location context when handling interprocedural paths.