Merge branch 'schecker'

* add a symbolic checker