Made CompactMealy DOT-renderable