Revision control
++ {
++ "initialConfiguration" : ["x"],
++ "events" : [
++ {
++ "event" : { "name" : "t" },
++ "nextConfiguration" : ["a22","b11"]
++ }
++
++ ]
++ }
++ {
++ "initialConfiguration" : ["x"],
++ "events" : [
++ {
++ "event" : { "name" : "t" },
++ "nextConfiguration" : ["a22","b11"]
++ }
++
++ ]
++ }