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
fix parsing in LK
add tests for == and .equals formula derivation
add test for wrapping nested properties
add test for updating parts of the variables
additional dependencies are not required
add Point.subPt to node test harness
Merge remote-tracking branch 'origin/master' into tim/deltablue-formula-recognition
fix lint
Merge remote-tracking branch 'origin/master' into tim/deltablue-formula-recognition
Merge pull request #10 from babelsberg/tim/deltablue-formula-recognition

Deltablue formula recognition