Assertions and assertion libraries

Matthias Noback