shared: Factor out declInScope(name, scope)

Author: asgerf

shared/namebinding/codeql/namebinding/LocalNameBinding.qll

@@ -354,22 +354,25 @@ module LocalNameBinding<LocationSig Location, LocalNameBindingInputSig<Location>
     or
     exists(Scope mid |
       lookupInScope(name, lookup, mid) and
-      not declInScope(_, name, mid) and
-      not implicitDeclInScope(name, mid) and
+      not declInScope(name, mid) and
       not isTopScope(mid) and
       scope = getEnclosingScope(mid)
     )
   }
 
+  private predicate declInScope(string name, AstNode scope) {
+    declInScope(_, name, scope) or
+    implicitDeclInScope(name, scope)
+  }
+
   /**
    * Holds if `name`, when resolved from `lookup`, may resolve to one of the uncertain members of `scope`.
    */
   pragma[nomagic]
   private predicate lookupInUncertainScope(string name, Scope lookup, Scope scope) {
     lookupInScope(name, lookup, scope) and
     uncertainScope(scope) and
-    not declInScope(_, name, scope) and
-    not implicitDeclInScope(name, scope)
+    not declInScope(name, scope)
   }
 
   /**