diff --git a/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java b/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
index a279793..52f39d9 100644
--- a/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
+++ b/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
@@ -260,9 +260,7 @@ public CompletableFuture<List<String>> getComponents(String uri) {
       if (parseResults.containsKey(uri)) {
         try {
           for (AstInfo info : parseResults.get(uri).getAstInfos()) {
-            if (info instanceof NodeInfo && !((NodeInfo) info).isImported()
-                || info instanceof FunctionInfo
-                    && !((FunctionInfo) info).isImported()) {
+            if (info instanceof NodeInfo || info instanceof FunctionInfo) {
               components.add(replacePathWithUri(info.getJson(), uri,
                   info.getFile() == null ? new URI(uri).getPath()
                       : info.getFile()));