diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
index 9fa5f5b4397..4183a409b0a 100644
--- a/go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
+++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
@@ -844,13 +844,11 @@ module Public {
     insn = getAWrittenInsn()
   }
 
-  predicate hasPostUpdateNode(Node preupd) { insnHasPostUpdateNode(preupd.asInstruction()) }
-
   private class DefaultPostUpdateNode extends PostUpdateNode {
     Node preupd;
 
     DefaultPostUpdateNode() {
-      hasPostUpdateNode(preupd) and
+      insnHasPostUpdateNode(preupd.asInstruction()) and
       (
         preupd = this.(SsaNode).getAUse()
         or