Nested Loop Example in Velato - Velato Typing CST Test