tests/sav/nitsaf_args4.res

   1 15: {x: 15} out of AListExprs
   2 15: {x: 15} out of ACallExpr
   3 15: {x: 15} out of AVardeclExpr
   4 16: {x: 15} out of TKwvar
   5 16: {x: 15} out of TId
   6 16: {x: 15} out of TAssign
   7 16: {x: 15} out of AImplicitSelfExpr
   8 16: {x: 15} out of TId
   9 16: {x: 15} out of AQid
  10 16: {x: 15} out of AListExprs
  11 16: {x: 15} out of ACallExpr
  12 16: {x: 15} out of TId
  13 16: {x: 15} out of AQid
  14 16: {x: 15}, {y: 16} out of AListExprs
  15 16: {x: 15}, {y: 16} out of ACallExpr
  16 16: {x: 15}, {y: 16} out of AVardeclExpr
  17 17: {x: 15}, {y: 16} out of TId
  18 17: {x: 15}, {y: 16} out of AVarExpr
  19 17: {x: 15}, {y: 16} out of TGt
  20 17: {x: 15}, {y: 16} out of TId
  21 17: {x: 15}, {y: 16} out of AVarExpr
  22 17: {x: 15}, {y: 16} out of AGtExpr
  23 18: {x: 15}, {y: 16} out of TId
  24 18: {x: 15}, {y: 16} out of TAssign
  25 18: {x: 15}, {y: 16} out of TId
  26 18: {x: 15}, {y: 16} out of AVarExpr
  27 18: {x: 15}, {y: 16} out of TPlus
  28 18: {x: 18}, {y: 16} out of TInteger
  29 18: {x: 18}, {y: 16} out of AIntegerExpr
  30 18: {x: 18}, {y: 16} out of APlusExpr
  31 18: {x: 18}, {y: 16} out of AVarAssignExpr
  32 18: {x: 18}, {y: 16} out of ABlockExpr
  33 20: {x: 15}, {y: 16} out of TId
  34 20: {x: 15}, {y: 16} out of TAssign
  35 20: {x: 15}, {y: 20} out of TId
  36 20: {x: 15}, {y: 20} out of AVarExpr
  37 20: {x: 15}, {y: 20} out of AVarAssignExpr
  38 21: {x: 15}, {y: 20} out of TKwend
  39 21: {x: 15}, {y: 20} out of ABlockExpr
  40 22: {x: 15}, {x: 18}, {y: 16}, {y: 20} out of TKwvar
  41 22: {x: 15}, {x: 18}, {y: 16}, {y: 20} out of TId
  42 22: {x: 15}, {x: 18}, {y: 16}, {y: 20} out of TAssign
  43 22: {x: 15}, {x: 18}, {y: 16}, {y: 20} out of TId
  44 22: {x: 15}, {x: 18}, {y: 16}, {y: 20} out of AVarExpr
  45 22: {x: 15}, {x: 18}, {y: 16}, {y: 20} out of TPlus
  46 22: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of TId
  47 22: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AVarExpr
  48 22: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of APlusExpr
  49 22: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AVardeclExpr
  50 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AImplicitSelfExpr
  51 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of TId
  52 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AQid
  53 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of TId
  54 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AVarExpr
  55 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AListExprs
  56 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of ACallExpr
  57 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of ABlockExpr
  58 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AMainMethPropdef
  59 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AMainClassdef
  60 23: {x: 15}, {x: 18}, {y: 16}, {y: 20}, {z: 22} out of AModule