finished code part for story 3.
finished test: "A transition system" should "allow to declare the
strategies for the philosopher's model"