Added test: "A transition system" should "not allow to use a strategy
with the wrong number of parameters"