allow to reference only those statemachines that are contained directly in implementation module
test updates for data flow analyses
Merge branch 'master' of github.com:mbeddr/mbeddr.core