- improve/fix debugging a little
- support cnAnd and cnOr in Z3
Merge branch 'master' of https://github.com/timfel/babelsberg-js