--- /dev/null
+(*esto deberia de dar erro*)
+struct a1 a2 a3 a4 end;
+
+func f(a1,a2)
+
+ var a3:=1;
+ var a4:=1;
+ a4:=a2.a2;
+ return a1;
+
+(*esto deberia de dar error t no visible*)
+ if a1 = a3 then
+ a4:=a1.a1;
+ else
+ a4:=a2.a2;
+ end;
+ return a4;
+
+
+end;
+
+
+