diff --git a/java/ql/src/semmle/code/java/security/RequestForgery.qll b/java/ql/src/semmle/code/java/security/RequestForgery.qll
index 4ac9e6232ef..b23d0a855c0 100644
--- a/java/ql/src/semmle/code/java/security/RequestForgery.qll
+++ b/java/ql/src/semmle/code/java/security/RequestForgery.qll
@@ -149,6 +149,7 @@ private class StringBuilderVarExt extends StringBuilderVar {
   /**
    * Implements `StringBuilderVarExt.getNextAppendIncludingAssignmentChains+(prev)`.
    */
+  pragma[nomagic]
   StringBuilderAppend getSubsequentAppendIncludingAssignmentChains(
     StringBuilderConstructorOrAppend prev
   ) {