Counter Example - Tachyons Typing CST Test