I would appreciate a comment here displaying in an Oz syntax the code that this snippet generates. The same applies to other places where more than 1 or 2 AST nodes are created at the same time to produce some logically coherent Oz code.