some delay between tests
fix internal transition representation
oops
update build