Content deleted Content added
m Reverted edits by 87.138.179.25 (talk) (HG) (3.4.9) |
|||
Line 209:
print(result(x))
}
around(int x): call(result(int)) && args(x) {
int temp = proceed(x)
|
m Reverted edits by 87.138.179.25 (talk) (HG) (3.4.9) |
|||
Line 209:
print(result(x))
}
around(int x): call(result(int)) && args(x) {
int temp = proceed(x)
|