0 # initial state
(0,0,'!a',ConstantRewardFunction(0))
(0,1,'a',ConstantRewardFunction(0))
(0,2,'a&c',ConstantRewardFunction(1))
(1,1,'!c',ConstantRewardFunction(0))
(1,2,'c',ConstantRewardFunction(1))
(2,2,'True',ConstantRewardFunction(0))