[analyzer; alternate arrows] The ForStmt increment is not a critical anchor for arrows.