Fix/more anon race cond improvements

[hex0punk]

• Removed a number of unnecessary FP/pattern-not cases. For instance, none of these were needed, because the innermost metavariable has a different name, indicating that it is not using a loop variable being memory aliased, which is what this is trying to find.

    - pattern-not: |
        for $X, $Y := range ... {
          ...
          go func(..., $V, ...){
            ...
            $FOO(..., $V, ...)
            ...
          }(..., $Y, ...)
          ...
        }
    - pattern-not: |
        for $Y, $X := range ... {
          ...
          go func(..., $CP, ...){
            ...
            $CP(...)
            ...
          }($X)
          ...
        }
    - pattern-not: |
        for $X:=...;$Y;$Z {
          ...
          go func(..., $V, ...) {
            ...
            $FOO(..., $V,...)
            ...
          }(..., $X, ...)
          ...
        }

• Added a couple additional -pattern-not rules based on FP I have seen detected recently, along with related tests

[Vasco-jofra]

LGTM. Thank you for the update!