_type: ExprSet attrs: x: _type: ExprSet attrs: q: _type: ExprInt value: 3 y: _type: ExprInt value: 3 z: _type: ExprInt value: 3 recursive: false recursive: false