Merge branch 'schecker-fixes'

* small fixes for the symbolic checker