Add more tests to AssertionDSLSpec