@Test(groups = "1s")
public void test1() {
IEnvironment environment = new EnvironmentTrailing();
environment.buildFakeHistoryOn(new Except_0(environment));
IStateInt a = environment.makeInt(10);
a.set(11);
environment.worldPush();
IStateInt b = environment.makeInt(21);
a.set(12);