diff --git a/fault/property.py b/fault/property.py
index 9d50a52b..b70453ac 100644
--- a/fault/property.py
+++ b/fault/property.py
@@ -246,7 +246,7 @@ def compile(self, prop):
 
 
 def _make_statement(statement, prop, on, disable_iff, compile_guard, name):
-    statement = prepend_when_cond(statement)
+    prop = prepend_when_cond(prop)
 
     format_args = {}
     _compiler = _Compiler(format_args)
diff --git a/tests/test_property.py b/tests/test_property.py
index f5c29772..e52a8e34 100644
--- a/tests/test_property.py
+++ b/tests/test_property.py
@@ -9,8 +9,8 @@
 
 def requires_ncsim(test_fn):
     def wrapper(test_fn, *args, **kwargs):
-        if not shutil.which("ncsim"):
-            return pytest.skip("need ncsim for SVA test")
+        # if not shutil.which("ncsim"):
+        #     return pytest.skip("need ncsim for SVA test")
         return test_fn(*args, **kwargs)
     return decorator.decorator(wrapper, test_fn)