added test:   "A transition system" should "not allow to define a
strategy that uses a variable that is not exatly the same as that used
in its definition."