history generation refactoring
refactoring history generation
support for flat region syntax
shallow history default transition test, no state change test fix