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
add missing dependency
fix lint
transform once: also in SCB, fix off-by-one when transforming multiple fragments
add != support to Z3
don't throw this in compat mode
Merge branch 'master' into semantics-compat
fix transform for long files (off-by-one)
add test for transform of multiple fragments