improve testing system
fix traversing regions, support for transitions to and from regions