34     int result = 0;  in div()  local
36       result += staticField / 42;  in div()
38     return result;  in div()
51     int result = 0;  in innerDiv()  local
54         result += staticField / 42;  in innerDiv()
57     return result;  in innerDiv()
67     int result = 0;  in innerMul()  local
73         result += staticField * i;  in innerMul()
76     return result;  in innerMul()
86     int result = 0;  in divByA()  local
89       result += staticField / a;  in divByA()
92     return result;  in divByA()
108     int result = 0;  in arrayLength()  local
110       result += array[i];  in arrayLength()
112     return result;  in arrayLength()
147     int result = 0;  in divAndIntrinsic()  local
151       result += (staticField / 42) + Math.abs(array[i]);  in divAndIntrinsic()
153     return result;  in divAndIntrinsic()
169     int result = 0;  in invariantBoundIntrinsic()  local
173       result += i;  in invariantBoundIntrinsic()
175     return result;  in invariantBoundIntrinsic()
191     int result = 0;  in invariantBodyIntrinsic()  local
195       result += Math.max(x, y);  in invariantBodyIntrinsic()
197     return result;  in invariantBodyIntrinsic()