support code coverage LABELs in DSL
support models and code coverage in DSL
fix bugs