Activity: Creating a DSL to Specify Assertions