add known-assertion and defined-assertion
Merge branch 'master' of https://github.com/apunktbau/co4