--- /dev/null
+method m()
+ if this < 10 then
+ return 3;
+ end;
+ return 0;
+end;
--- /dev/null
+extern long long m(long long this);
+
+RET(m(9) == 3 && m(10) == 0);
\ No newline at end of file
--- /dev/null
+17
\ No newline at end of file
--- /dev/null
+method m(a)
+ var u := 10;
+ if this < 50 then
+ if 10 < a then
+ return a - 10;
+ end;
+ var x := 20;
+ u := u - (x * -1);
+ end;
+ return u;
+end;
--- /dev/null
+extern long long m(long long this, long long a);
+
+RET(m(51, 0) == 10 && m(-3, 5) == 30 && m(35, 18) == 8);
\ No newline at end of file
--- /dev/null
+49
\ No newline at end of file
--- /dev/null
+method m(a)
+ var u := 10;
+ if this < 50 then
+ if 10 < a then
+ return a - 10;
+ end;
+ var x:= 20;
+ if this < 0 then
+ x := x or 64;
+ end;
+ u := u * x;
+ end;
+ return u;
+end;
--- /dev/null
+extern long long m(long long this, long long a);
+
+RET(m(60, 0) == 10 && m(0, 10) == 200 && m(35, 18) == 8 && m(-10, 0) == 840);
\ No newline at end of file
--- /dev/null
+82
\ No newline at end of file
--- /dev/null
+method m()
+ if 5 < 10 then
+ return 10;
+ else
+ return 5;
+ end;
+end;
+
--- /dev/null
+extern long long m(long long this);
+
+RET(m(0xCCACC) == 10);
\ No newline at end of file
--- /dev/null
+2
\ No newline at end of file
--- /dev/null
+method m()
+ if this < -100 then
+ return -4711;
+ else
+ if (-10 < this) then
+ if (this < -5) then
+ if (this = -6) then
+ return 1;
+ else
+ return 2;
+ end;
+ else
+ if this = -4 then
+ return 3;
+ end;
+ if this = -3 then
+ return 6;
+ end;
+ if this = -2 then
+ return 7;
+ end;
+ end;
+ else
+ return 4;
+ end;
+ end;
+ return 5;
+end;
+
--- /dev/null
+extern long long m(long long this);
+
+RET(m(-2) == 7 && m(-1) == 5);
+
+//RET(m(-200) == -4711 && m(-6) == 1 && m(-7) == 2 && m(-4) == 3 && m(-11) == 4 && m(-3) == 6 && m(-2) == 7 && m(-1) == 5);
--- /dev/null
+79
\ No newline at end of file
--- /dev/null
+method m()
+ var x := 10;
+ while 0 < x do
+ x := x-1;
+ end;
+ return x;
+end;
+
--- /dev/null
+extern long long m(long long this);
+
+RET(m(0xBABE) == 0);
\ No newline at end of file
--- /dev/null
+110
\ No newline at end of file