diff --git a/src/Kind2.ts b/src/Kind2.ts
index 075d446..6217397 100644
--- a/src/Kind2.ts
+++ b/src/Kind2.ts
@@ -310,6 +310,10 @@ export class Kind2 implements TreeDataProvider<TreeNode>, CodeLensProvider {
         for (const analysisResult of nodeResult.analyses) {
           let analysis: Analysis = new Analysis(analysisResult.abstract, analysisResult.concrete, component);
           for (const propertyResult of analysisResult.properties) {
+            // Filter out candidate properties
+            if (propertyResult.isCandidate === "true") {
+              continue
+            }
             let property = new Property(propertyResult.name, propertyResult.line - 1, propertyResult.file, analysis);
             switch (propertyResult.answer.value) {
               case "valid":