Python: exclude with definitions

from `assignment_definition`

Author: yoff

python/ql/lib/semmle/python/essa/SsaDefinitions.qll

@@ -25,7 +25,9 @@ module SsaSource {
     // since parameter will be considered a DefinitionNode, if it has a default value,
     // we need to exclude it here since it is already covered by parameter_definition
     // (and points-to was unhappy that it was included in both)
-    not parameter_definition(v, defn)
+    not parameter_definition(v, defn) and
+    // similarly for with-definitions
+    not with_definition(v, defn)
   }
 
   /** Holds if `v` is defined by assignment of the captured exception. */