Conditional Example - Unlambda Typing CST Test