Dataflow Analysis In A Language Workbench