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
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 remote-tracking branch 'remotes/origin/master' into tim/assign-constraint
add != support to Z3
throw error when synchronous (doesn't work if in callback)
fix for priorities in Z3
don't throw this in compat mode