tests/sav/nitsaf_args5.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 AVarExpr
  25 18: {x: 15}, {y: 16} out of TEq
  26 18: {x: 15}, {y: 16} out of TInteger
  27 18: {x: 15}, {y: 16} out of AIntegerExpr
  28 18: {x: 15}, {y: 16} out of AEqExpr
  29 19: {x: 15}, {y: 16} out of TId
  30 19: {x: 15}, {y: 16} out of TAssign
  31 19: {x: 19}, {y: 16} out of TInteger
  32 19: {x: 19}, {y: 16} out of AIntegerExpr
  33 19: {x: 19}, {y: 16} out of AVarAssignExpr
  34 19: {x: 19}, {y: 16} out of ABlockExpr
  35 21: {x: 15}, {y: 16} out of TId
  36 21: {x: 15}, {y: 16} out of TAssign
  37 21: {x: 15}, {y: 16} out of TId
  38 21: {x: 15}, {y: 16} out of AVarExpr
  39 21: {x: 15}, {y: 16} out of TPlus
  40 21: {x: 21}, {y: 16} out of TInteger
  41 21: {x: 21}, {y: 16} out of AIntegerExpr
  42 21: {x: 21}, {y: 16} out of APlusExpr
  43 21: {x: 21}, {y: 16} out of AVarAssignExpr
  44 22: {x: 21}, {y: 16} out of TKwend
  45 22: {x: 21}, {y: 16} out of ABlockExpr
  46 22: {x: 19}, {x: 21}, {y: 16} out of ABlockExpr
  47 24: {x: 15}, {y: 16} out of TId
  48 24: {x: 15}, {y: 16} out of AVarExpr
  49 24: {x: 15}, {y: 16} out of TEq
  50 24: {x: 15}, {y: 16} out of TInteger
  51 24: {x: 15}, {y: 16} out of AIntegerExpr
  52 24: {x: 15}, {y: 16} out of AEqExpr
  53 25: {x: 15}, {y: 16} out of TId
  54 25: {x: 15}, {y: 16} out of TAssign
  55 25: {x: 15}, {y: 25} out of TId
  56 25: {x: 15}, {y: 25} out of AVarExpr
  57 25: {x: 15}, {y: 25} out of AVarAssignExpr
  58 25: {x: 15}, {y: 25} out of ABlockExpr
  59 26: {x: 15}, {y: 16} out of TKwend
  60 26: {x: 15}, {y: 16} out of ABlockExpr
  61 27: {x: 15}, {y: 16}, {y: 25} out of TKwend
  62 27: {x: 15}, {y: 16}, {y: 25} out of ABlockExpr
  63 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TKwvar
  64 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TId
  65 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TAssign
  66 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TId
  67 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of AVarExpr
  68 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25} out of TPlus
  69 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of TId
  70 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AVarExpr
  71 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of APlusExpr
  72 28: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AVardeclExpr
  73 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AImplicitSelfExpr
  74 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of TId
  75 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AQid
  76 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of TId
  77 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AVarExpr
  78 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AListExprs
  79 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of ACallExpr
  80 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of ABlockExpr
  81 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AMainMethPropdef
  82 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AMainClassdef
  83 29: {x: 15}, {x: 19}, {x: 21}, {y: 16}, {y: 25}, {z: 28} out of AModule