initial experiments with the dataflow analyzers and constructors
refactored analyzer to use map-reduce api
enhanced analyzer
Merge branch 'master' into dataflow
Merge branch 'master' into dataflow
a more generic solution for checking uninitialized reads
add missing dependency
uninitialized reads with custom analyzers
update dataflow builder for direct assignment expressions
update test with var inits
Merge branch 'master' into feature/dataflow

Conflicts:
	code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps
small fix
dataflow rules for direct assignment expressions
added DEFAULT to the word width
dataflow graph constructor of for loop
Merge branch 'master' into feature/dataflow
fixing many analyses tests
test for "no memory leak" when free is used
Merge remote-tracking branch 'origin/master'
new test