--- /dev/null
+(*esto si deberia de dar erro*)
+struct a1 a2 a3 end;
+
+func f(x,y)
+ if x = y then
+ return a;
+ end;
+
+ var a:=0;
+ var b := (y+8);
+ var c := y.b2;
+ if b = c then
+ a:=x.a1;
+ else
+ a:=x.d2;
+ end;
+ return a;
+ var d:=1;
+ if d = a then
+ a:=3;
+ end;
+ return a;
+end;
+
+
+
+struct c1 c2 b3 end;