Domain-Level Debugging for Compiled DSLs with the GEMOC Studio (Tool Demo)