unified: Fix toString for extensions

Author: asgerf

unified/ql/lib/codeql/unified/internal/FacadeAst.qll

@@ -175,8 +175,12 @@ module Unified {
         this instanceof InitializerDeclaration and
         result = "(initializer block)"
         or
-        this instanceof ClassLikeDeclaration and
-        result = "(anonymous class)"
+        exists(ClassLikeDeclaration cls | this = cls |
+          result = NameBinding::getIdentifierFromRef(cls.getExtensionTarget()).getValue()
+          or
+          not exists(cls.getExtensionTarget()) and
+          result = "(anonymous class)"
+        )
         or
         this instanceof TypeAliasDeclaration and
         result = "(anonymous type alias)"

unified/ql/lib/codeql/unified/internal/LocalNameBinding.qll

@@ -1,6 +1,8 @@
 /**
  * Provides classes for reasoning about lexically scoped names and references to these.
  */
+overlay[local?]
+module;
 
 private import unified
 private import unified as U

unified/ql/lib/codeql/unified/internal/StaticNameBinding.qll

@@ -1,6 +1,8 @@
 /**
  * Provides classes for reasoning about static references to the members of classes and top-levels.
  */
+overlay[local?]
+module;
 
 private import unified
 private import codeql.unified.internal.LocalNameBinding