auto entry exit actions feature
fix history paths generation, work on PathCover test
refactoring of ast, remove not needed macros and fields
refactoring of statemap, support for state : parent syntax
refactoring of properties, simplify statemap UpdateReferences and resolve targets, example PathCover set with : parent syntax