also textual DSL now works for the example of the paper