(*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;