added examples on assertions

Some examples were added for testing (perhaps they will also serve for
documentation purposes).
ignoring compilation stuff