diff --git a/tests/simul-overload.eo b/tests/simul-overload.eo
index 02a15af..f48a741 100644
--- a/tests/simul-overload.eo
+++ b/tests/simul-overload.eo
@@ -15,5 +15,5 @@
 (declare-const a Int)
 (declare-const b Int)
 
-(step @p99 :rule refl :args ((forall ((a Int) (b Int)))))
+(step @p99 :rule refl :args ((forall ((a Int) (b Int)) true)))
 (step @p106 :rule refl :args (a))