DSL Checker

.