+15: {x: 15} out of AListExprs
+15: {x: 15} out of ACallExpr
+15: {x: 15} out of AVardeclExpr
+16: {x: 15} out of TKwvar
+16: {x: 15} out of TId
+16: {x: 15} out of TAssign
+16: {x: 15} out of AImplicitSelfExpr
+16: {x: 15} out of TId
+16: {x: 15} out of AQid
+16: {x: 15} out of AListExprs
+16: {x: 15} out of ACallExpr
+16: {x: 15} out of TId
+16: {x: 15} out of AQid
+16: {x: 15}, {y: 16} out of AListExprs
+16: {x: 15}, {y: 16} out of ACallExpr
+16: {x: 15}, {y: 16} out of AVardeclExpr
+17: {x: 15}, {y: 16} out of TId
+17: {x: 15}, {y: 16} out of AVarExpr
+17: {x: 15}, {y: 16} out of TGt
+17: {x: 15}, {y: 16} out of TId
+17: {x: 15}, {y: 16} out of AVarExpr
+17: {x: 15}, {y: 16} out of AGtExpr
+18: {x: 15}, {y: 16} out of TId
+18: {x: 15}, {y: 16} out of AVarExpr
+18: {x: 15}, {y: 16} out of TEq
+18: {x: 15}, {y: 16} out of TInteger
+18: {x: 15}, {y: 16} out of AIntegerExpr
+18: {x: 15}, {y: 16} out of AEqExpr
+19: {x: 15}, {y: 16} out of TId
+19: {x: 15}, {y: 16} out of TAssign
+19: {x: 19}, {y: 16} out of TInteger
+19: {x: 19}, {y: 16} out of AIntegerExpr
+19: {x: 19}, {y: 16} out of AVarAssignExpr
+19: {x: 19}, {y: 16} out of ABlockExpr
+21: {x: 15}, {y: 16} out of TId
+21: {x: 15}, {y: 16} out of TAssign
+21: {x: 15}, {y: 16} out of TId
+21: {x: 15}, {y: 16} out of AVarExpr
+21: {x: 15}, {y: 16} out of TPlus
+21: {x: 21}, {y: 16} out of TInteger
+21: {x: 21}, {y: 16} out of AIntegerExpr
+21: {x: 21}, {y: 16} out of APlusExpr
+21: {x: 21}, {y: 16} out of AVarAssignExpr
+22: {x: 21}, {y: 16} out of TKwend
+22: {x: 21}, {y: 16} out of ABlockExpr
+22: {x: 19}, {x: 21}, {y: 16} out of ABlockExpr
+24: {x: 15}, {y: 16} out of TId
+24: {x: 15}, {y: 16} out of AVarExpr
+24: {x: 15}, {y: 16} out of TEq
+24: {x: 15}, {y: 16} out of TInteger
+24: {x: 15}, {y: 16} out of AIntegerExpr
+24: {x: 15}, {y: 16} out of AEqExpr
+25: {x: 15}, {y: 16} out of TId
+25: {x: 15}, {y: 16} out of TAssign
+25: {x: 15}, {y: 25} out of TId
+25: {x: 15}, {y: 25} out of AVarExpr
+25: {x: 15}, {y: 25} out of AVarAssignExpr
+25: {x: 15}, {y: 25} out of ABlockExpr
+26: {x: 15}, {y: 16} out of TKwend
+26: {x: 15}, {y: 16} out of ABlockExpr
+27: {x: 15}, {y: 16}, {y: 25} out of TKwend
+27: {x: 15}, {y: 16}, {y: 25} out of ABlockExpr
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TKwvar
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TId
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TAssign
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TId
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of AVarExpr
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TPlus
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of TId
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AVarExpr
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of APlusExpr
+28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AVardeclExpr
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AImplicitSelfExpr
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of TId
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AQid
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of TId
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AVarExpr
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AListExprs
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of ACallExpr
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of ABlockExpr
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AMainMethPropdef
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AMainClassdef
+29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AModule