fixed broken FilterOperation usage in com.mbeddr.ext.statemachine.behavior
small fix
stubbing generator is now run in the top priority group: component's debug generator caused trouble before
fixed dependencies
fixed call stack construction for BlockExpr and added related test cases
adding working directory configuration when CBMC analyses are run
Merge remote-tracking branch 'origin/master'
added +/- to expand / collapse requirements
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Changed the way how DSL stack frames are constructed by the debugger to enable cell-based debugging of DecisionTables
improved collapsing behavior
Merge branch 'master' of github.com:mbeddr/mbeddr.core into debuggerTesting