Remove needless typecasts

Author: smowton

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll

@@ -422,10 +422,10 @@ private module Cached {
    * interface.
    */
   cached
-  predicate reverseStepThroughInputOutputAlias(Node fromNode, Node toNode) {
+  predicate reverseStepThroughInputOutputAlias(PostUpdateNode fromNode, PostUpdateNode toNode) {
     exists(Node fromPre, Node toPre |
-      fromPre = fromNode.(PostUpdateNode).getPreUpdateNode() and
-      toPre = toNode.(PostUpdateNode).getPreUpdateNode()
+      fromPre = fromNode.getPreUpdateNode() and
+      toPre = toNode.getPreUpdateNode()
     |
       exists(DataFlowCall c |
         // Does the language-specific simpleLocalFlowStep already model flow

cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll

@@ -422,10 +422,10 @@ private module Cached {
    * interface.
    */
   cached
-  predicate reverseStepThroughInputOutputAlias(Node fromNode, Node toNode) {
+  predicate reverseStepThroughInputOutputAlias(PostUpdateNode fromNode, PostUpdateNode toNode) {
     exists(Node fromPre, Node toPre |
-      fromPre = fromNode.(PostUpdateNode).getPreUpdateNode() and
-      toPre = toNode.(PostUpdateNode).getPreUpdateNode()
+      fromPre = fromNode.getPreUpdateNode() and
+      toPre = toNode.getPreUpdateNode()
     |
       exists(DataFlowCall c |
         // Does the language-specific simpleLocalFlowStep already model flow

csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll

@@ -422,10 +422,10 @@ private module Cached {
    * interface.
    */
   cached
-  predicate reverseStepThroughInputOutputAlias(Node fromNode, Node toNode) {
+  predicate reverseStepThroughInputOutputAlias(PostUpdateNode fromNode, PostUpdateNode toNode) {
     exists(Node fromPre, Node toPre |
-      fromPre = fromNode.(PostUpdateNode).getPreUpdateNode() and
-      toPre = toNode.(PostUpdateNode).getPreUpdateNode()
+      fromPre = fromNode.getPreUpdateNode() and
+      toPre = toNode.getPreUpdateNode()
     |
       exists(DataFlowCall c |
         // Does the language-specific simpleLocalFlowStep already model flow

java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll

@@ -422,10 +422,10 @@ private module Cached {
    * interface.
    */
   cached
-  predicate reverseStepThroughInputOutputAlias(Node fromNode, Node toNode) {
+  predicate reverseStepThroughInputOutputAlias(PostUpdateNode fromNode, PostUpdateNode toNode) {
     exists(Node fromPre, Node toPre |
-      fromPre = fromNode.(PostUpdateNode).getPreUpdateNode() and
-      toPre = toNode.(PostUpdateNode).getPreUpdateNode()
+      fromPre = fromNode.getPreUpdateNode() and
+      toPre = toNode.getPreUpdateNode()
     |
       exists(DataFlowCall c |
         // Does the language-specific simpleLocalFlowStep already model flow

python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll

@@ -422,10 +422,10 @@ private module Cached {
    * interface.
    */
   cached
-  predicate reverseStepThroughInputOutputAlias(Node fromNode, Node toNode) {
+  predicate reverseStepThroughInputOutputAlias(PostUpdateNode fromNode, PostUpdateNode toNode) {
     exists(Node fromPre, Node toPre |
-      fromPre = fromNode.(PostUpdateNode).getPreUpdateNode() and
-      toPre = toNode.(PostUpdateNode).getPreUpdateNode()
+      fromPre = fromNode.getPreUpdateNode() and
+      toPre = toNode.getPreUpdateNode()
     |
       exists(DataFlowCall c |
         // Does the language-specific simpleLocalFlowStep already model flow