VWCE
     Conditional expression is valid if types of expressions
     in Then_part and Else_part are the same.
