diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
index c56854acc..f221dfcc2 100644
--- a/frontends/verific/verificsva.cc
+++ b/frontends/verific/verificsva.cc
@@ -35,6 +35,7 @@
 //
 // basic_property:
 //   sequence
+//   not basic_property
 //   sequence #-# basic_property
 //   sequence #=# basic_property
 //   basic_property or basic_property       (cover only)