added an (incomplete) test case for a trivial DSL