DSL spec tests