Modula-2 Conditional Example - Modula Typing CST Test