diff --git a/slothy/targets/arm_v7m/cortex_m7.py b/slothy/targets/arm_v7m/cortex_m7.py
index 07764a0a..9fcba951 100644
--- a/slothy/targets/arm_v7m/cortex_m7.py
+++ b/slothy/targets/arm_v7m/cortex_m7.py
@@ -48,6 +48,11 @@ def add_further_constraints(slothy):
     if slothy.config.constraints.functional_only:
         return
     add_slot_constraints(slothy)
+    # TODO: verify this works as intended
+    for t in slothy._model.tree.nodes:
+        if isinstance(t.inst, vmov_gpr):
+            slothy._Add( t.cycle_start_var != 0 )
+            print("Add vmov constr")
 
 
 def add_slot_constraints(slothy):