Metro 4 Counter Example - Metro4 Typing CST Test