tests/sav/nitsaf_args10.res

   1 15: {a: 15}, {b: 15} out of APublicVisibility
   2 15: {a: 15}, {b: 15} out of TKwmeth
   3 15: {a: 15}, {b: 15} out of TId
   4 15: {a: 15}, {b: 15} out of AIdMethid
   5 15: {a: 15}, {b: 15} out of TOpar
   6 15: {a: 15}, {b: 15} out of TId
   7 15: {a: 15}, {b: 15} out of AParam
   8 15: {a: 15}, {b: 15} out of TId
   9 15: {a: 15}, {b: 15} out of TClassid
  10 15: {a: 15}, {b: 15} out of AQclassid
  11 15: {a: 15}, {b: 15} out of AType
  12 15: {a: 15}, {b: 15} out of AParam
  13 15: {a: 15}, {b: 15} out of TCpar
  14 15: {a: 15}, {b: 15} out of TClassid
  15 15: {a: 15}, {b: 15} out of AQclassid
  16 15: {a: 15}, {b: 15} out of AType
  17 15: {a: 15}, {b: 15} out of ASignature
  18 15: {a: 15}, {b: 15} out of TKwdo
  19 16: {a: 15}, {b: 15} out of TId
  20 16: {a: 15}, {b: 15} out of AVarExpr
  21 16: {a: 15}, {b: 15} out of TEq
  22 16: {a: 15}, {b: 15} out of TId
  23 16: {a: 15}, {b: 15} out of AVarExpr
  24 16: {a: 15}, {b: 15} out of AEqExpr
  25 17: {a: 15}, {b: 15} out of TKwvar
  26 17: {a: 15}, {b: 15} out of TId
  27 17: {a: 15}, {b: 15} out of TAssign
  28 17: {a: 15}, {b: 15}, {c: 17} out of TInteger
  29 17: {a: 15}, {b: 15}, {c: 17} out of AIntegerExpr
  30 17: {a: 15}, {b: 15}, {c: 17} out of AVardeclExpr
  31 18: {a: 15}, {b: 15}, {c: 17} out of TId
  32 18: {a: 15}, {b: 15}, {c: 17} out of TAssign
  33 18: {a: 15}, {b: 18}, {c: 17} out of TId
  34 18: {a: 15}, {b: 18}, {c: 17} out of AVarExpr
  35 18: {a: 15}, {b: 18}, {c: 17} out of AVarAssignExpr
  36 18: {a: 15}, {b: 18}, {c: 17} out of ABlockExpr
  37 19: {a: 15}, {b: 15} out of TKwend
  38 19: {a: 15}, {b: 15} out of ABlockExpr
  39 20: {a: 15}, {b: 15}, {b: 18}, {c: 17} out of TKwreturn
  40 20: {a: 15}, {b: 15}, {b: 18}, {c: 17} out of TId
  41 20: {a: 15}, {b: 15}, {b: 18}, {c: 17} out of AVarExpr
  42 20: {a: 15}, {b: 15}, {b: 18}, {c: 17} out of AReturnExpr
  43 21: {a: 15}, {b: 15}, {b: 18}, {c: 17} out of TKwend
  44 21: {a: 15}, {b: 15}, {b: 18}, {c: 17} out of ABlockExpr
  45 21: {a: 15}, {b: 15}, {b: 18}, {c: 17} out of AMethPropdef
  46 21: {a: 15}, {b: 15}, {b: 18}, {c: 17} out of ATopClassdef
  47 23: {i: 23} out of AListExprs
  48 23: {i: 23} out of ACallExpr
  49 23: {i: 23} out of AVardeclExpr
  50 24: {i: 23} out of TKwvar
  51 24: {i: 23} out of TId
  52 24: {i: 23} out of TAssign
  53 24: {i: 23} out of AImplicitSelfExpr
  54 24: {i: 23} out of TId
  55 24: {i: 23} out of AQid
  56 24: {i: 23} out of AListExprs
  57 24: {i: 23} out of ACallExpr
  58 24: {i: 23} out of TId
  59 24: {i: 23} out of AQid
  60 24: {i: 23}, {j: 24} out of AListExprs
  61 24: {i: 23}, {j: 24} out of ACallExpr
  62 24: {i: 23}, {j: 24} out of AVardeclExpr
  63 25: {i: 23}, {j: 24} out of TKwvar
  64 25: {i: 23}, {j: 24} out of TId
  65 25: {i: 23}, {j: 24} out of TAssign
  66 25: {i: 23}, {j: 24} out of AImplicitSelfExpr
  67 25: {i: 23}, {j: 24} out of TId
  68 25: {i: 23}, {j: 24} out of AQid
  69 25: {i: 23}, {j: 24} out of TOpar
  70 25: {i: 23}, {j: 24} out of TId
  71 25: {i: 23}, {j: 24} out of AVarExpr
  72 25: {i: 23}, {j: 24} out of TId
  73 25: {i: 23}, {j: 24} out of AVarExpr
  74 25: {i: 23}, {j: 24}, {z: 25} out of TCpar
  75 25: {i: 23}, {j: 24}, {z: 25} out of AParExprs
  76 25: {i: 23}, {j: 24}, {z: 25} out of ACallExpr
  77 25: {i: 23}, {j: 24}, {z: 25} out of AVardeclExpr
  78 26: {i: 23}, {j: 24}, {z: 25} out of AImplicitSelfExpr
  79 26: {i: 23}, {j: 24}, {z: 25} out of TId
  80 26: {i: 23}, {j: 24}, {z: 25} out of AQid
  81 26: {i: 23}, {j: 24}, {z: 25} out of TId
  82 26: {i: 23}, {j: 24}, {z: 25} out of AVarExpr
  83 26: {i: 23}, {j: 24}, {z: 25} out of AListExprs
  84 26: {i: 23}, {j: 24}, {z: 25} out of ACallExpr
  85 26: {i: 23}, {j: 24}, {z: 25} out of ABlockExpr
  86 26: {i: 23}, {j: 24}, {z: 25} out of AMainMethPropdef
  87 26: {i: 23}, {j: 24}, {z: 25} out of AMainClassdef
  88 26: {i: 23}, {j: 24}, {z: 25} out of AModule