C#: Update the model editor code to disregard properties in case both a getter and a setter is present.

Author: michaelnebel

csharp/ql/src/utils/modeleditor/ModelEditor.qll

@@ -9,9 +9,17 @@ private import Telemetry.TestLibrary
 
 /** Holds if the given callable is not worth supporting. */
 private predicate isUninteresting(Callable c) {
-  c.getDeclaringType() instanceof TestLibrary or
-  c.(Constructor).isParameterless() or
+  c.getDeclaringType() instanceof TestLibrary
+  or
+  c.(Constructor).isParameterless()
+  or
   c.getDeclaringType() instanceof AnonymousClass
+  or
+  // The data flow library uses read/store steps for properties, so we don't need to model them,
+  // if both a getter and a setter exist.
+  exists(Property p | p = c.(Accessor).getDeclaration() |
+    exists(p.getSetter()) and exists(p.getGetter())
+  )
 }
 
 /**