C#: Commented out prototype to indicate that x might be read after ++x.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll

@@ -721,10 +721,25 @@ private module FieldOrPropsImpl {
   }
 }
 
+// private predicate mutationReadAfterWrite(ControlFlow::BasicBlock bb, int i, Ssa::SourceVariable v) {
+//   exists(AssignableDefinitions::MutationDefinition def, LocalVariable lv, MutatorOperation mo |
+//     def.getTarget() = lv and
+//     mo = def.getMutatorOperation() and
+//     (
+//       mo instanceof PreDecrExpr or
+//       mo instanceof PreIncrExpr
+//     ) and
+//     lv = v.getAssignable() and
+//     // Synthesize that the read happens at the next CFG node (as there is also a corresponding write)
+//     bb.getNode(i - 1) = def.getExpr().getAControlFlowNode()
+//   )
+// }
 private predicate variableReadPseudo(ControlFlow::BasicBlock bb, int i, Ssa::SourceVariable v) {
   outRefExitRead(bb, i, v)
   or
   refReadBeforeWrite(bb, i, v)
+  // or
+  // mutationReadAfterWrite(bb, i, v)
 }
 
 pragma[noinline]