Conditional Branch in Velato - Velato Typing CST Test