Improving upon DSL tests