diff --git a/tests/pars/test_model_instantiator.py b/tests/pars/test_model_instantiator.py
index d520546..4ac38f5 100644
--- a/tests/pars/test_model_instantiator.py
+++ b/tests/pars/test_model_instantiator.py
@@ -10,6 +10,7 @@ class TestModelInstantiator:
         formulas = stormpy.parse_properties_for_prism_program("P=? [ F s=5 ]", program)
         model = stormpy.build_parametric_model(program, formulas)
         parameters = model.collect_probability_parameters()
+        assert len(parameters) == 2
         instantiator = stormpy.pars.PDtmcInstantiator(model)
 
         point = {p: stormpy.RationalRF("0.4") for p in parameters}