II. Consider the following variable declarations in conjunction with the type declarations in problem 1 VAR /I var declaration section s : T9 t T10; :array [4114] of T5; w, z struct f int a; struct T5* next; x, y : struct Al a struct T5* next; f function of T9 returns T10; g: function of T9 returns T9; n : T10; Assume that assignments between variables are allowed if the types of the variables are equivalent. For each of the following, list all type equivalence schemes under which the expression is valid. Consider name equivalence, internal name equivalence, and structural equivalence for each case. Assume that if two variables are equivalent under name equivalence, they are also equivalent under internal name equivalence s = t; t = u; u=v; m=f(s) Give your answers in the form of a table where each entry is a YES or a NO Name Internal Name Structural u=v m f(s) n = f(u) Explain your work. II. Consider the following variable declarations in conjunction with the type declarations in problem 1 VAR /I var declaration section s : T9 t T10; :array [4114] of T5; w, z struct f int a; struct T5* next; x, y : struct Al a struct T5* next; f function of T9 returns T10; g: function of T9 returns T9; n : T10; Assume that assignments between variables are allowed if the types of the variables are equivalent. For each of the following, list all type equivalence schemes under which the expression is valid. Consider name equivalence, internal name equivalence, and structural equivalence for each case. Assume that if two variables are equivalent under name equivalence, they are also equivalent under internal name equivalence s = t; t = u; u=v; m=f(s) Give your answers in the form of a table where each entry is a YES or a NO Name Internal Name Structural u=v m f(s) n = f(u) Explain your work