Simple Decrement - Thue Typing CST Test