DSL syntax checking