--- /dev/null
+struct a end;
+
+method m1()
+ var x := 5;
+
+ return x - g();
+
+ return x;
+end;
+
+method m2()
+ var x := 5;
+
+ return g() - x;
+
+ return x;
+end;
+
+method m3()
+ var n := in();
+ return 3;
+end;
+
+method in()
+ a := a - (-1);
+end;
+
+method g()
+ return 2;
+end;