Conditional Output Example - Thue Typing CST Test