diff --git a/javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/UI5View.qll b/javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/UI5View.qll
index b7b57c7dc..f5d4f9172 100644
--- a/javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/UI5View.qll
+++ b/javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/UI5View.qll
@@ -940,5 +940,5 @@ class ControlTypeInHandlerModel extends ModelInput::TypeModel {
    * Prevents model pruning for `ControlType`types
    */
   bindingset[type]
-  override predicate isTypeUsed(string type) { any() }
+  override[local?] predicate isTypeUsed(string type) { any() }
 }
diff --git a/javascript/frameworks/xsjs/lib/advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll b/javascript/frameworks/xsjs/lib/advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll
index 4d62fb403..766aaf7ec 100644
--- a/javascript/frameworks/xsjs/lib/advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll
+++ b/javascript/frameworks/xsjs/lib/advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll
@@ -23,7 +23,7 @@ class XSJSDollarTypeModel extends ModelInput::TypeModel {
   /**
    * Prevents model pruning for type `XsjsDollar`
    */
-  override predicate isTypeUsed(string type) { type = "XsjsDollar" }
+  override[local?] predicate isTypeUsed(string type) { type = "XsjsDollar" }
 }
 
 /**