1 files changed, 7 insertions, 8 deletions
diff --git a/data/property/incrementer.pro b/data/property/incrementer.pro
index ba8fc7a..4bc06ae 100644
--- a/data/property/incrementer.pro
+++ b/data/property/incrementer.pro
@@ -1,15 +1,14 @@
 (tag_existing
    (
       (wf waveform INCREMENTED_WAVEFORM)
+      (ps process INCREMENTER_PROCESS)
    )
-   (exists ps process
-      (CTL_verifies ps
-         (EF
-            (and
-               (is_read_structure "(??L)")
-               (is_read_element "0" "+")
-               (is_read_element "1" wf)
-            )
+   (CTL_verifies ps
+      (EF
+         (and
+            (is_read_structure "(??L)")
+            (is_read_element "0" "+")
+            (is_read_element "1" wf)
          )
       )
    )