Merge remote-tracking branch 'origin/master' into standalone
Merge remote-tracking branch 'origin/standalone' into standalone
Merge pull request #8 from babelsberg/refactoring

Refactoring of ConstraintInterpreter
add Alan's current work
Merge branch 'master' of https://github.com/babelsberg/babelsberg-js
see if this fixes the minified exception
cache the defining solver for simple cases
hack-fix StrZ3
Merge pull request #9 from babelsberg/SimpleCacheDefiningSolver

Cache the defining solver for simple cases
WIP: alert again when a DB constraint fails, but make readonly only STRONG_PREFERRED, which is not used by user constraints, but is one below required. otherwise, stays fail. need to check if this is sound
wip: first iteration of better definition for DB formulas that just takes equalities and converts the RHS into a formula for the LHS
fix linting errors and tests
build one UserDBConstraint from conjunctions.
linting
update comment
add 'store:' as label to assign the resulting constraint to a variable
add missing dependency
fix parsing in LK
add tests for == and .equals formula derivation
add test for wrapping nested properties