fixed a bug in SRI
added the notion of an initializer
added a migration script for local variables
fixed a cardinality
fixed smaller bugs
more init value migration stuff
two fixes.
change in editor of LVD
added counterexample leave state for decision tables
Merge remote-tracking branch 'origin/master'
refactoring for LVD init
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Revert "refactoring for LVD init"

This reverts commit 3acfeadcc525170aca21ad8d621f6d6281b802d0.
Revert "change in editor of LVD"

This reverts commit e8097dbc0adf65f2e48ebba4580d94995f891827.
Revert "two fixes."

This reverts commit 75468226879344a29fa3f32f49b4cdbb12c1515c.
Revert "more init value migration stuff"

This reverts commit ccb3049b168daac6542d73b6b586417106f57ea7.
Revert "fixed smaller bugs"

This reverts commit 3726944b9fa2e2379a0d8b56967ac47364194a96.
Revert "fixed a cardinality"

This reverts commit 30f68be6a47025ade75a8a8fdad1541ee0492521.
Revert "added a migration script for local variables"

This reverts commit 23caa971150b1559fbf291c3fcebc06454e9d4ed.
Revert "added the notion of an initializer"

This reverts commit 8c85ba9f073ba6fcda122554d9a305ea99bc0a62.