DSL simplification