Add some tests for the Assertion DSL