base_isa3.nit:59,8--14: Warning: Expression is already a A since it is a B.
base_isa3.nit:64,8--14: Warning: Expression is already a A since it is a C.
base_isa3.nit:69,8--14: Warning: Expression is already a A since it is a D.
base_isa3.nit:73,8--14: Warning: Expression is already a E since it is a D.
base_isa3.nit:74,8--14: Warning: Expression is already a E.
base_isa3.nit:75,8--14: Warning: Expression is already a E.
base_isa3.nit:76,8--14: Warning: Expression is already a E.
base_isa3.nit:79,8--14: Warning: Expression is already a A since it is a E.
base_isa3.nit:84,8--14: Warning: Expression is already a A since it is a F.
base_isa3.nit:87,8--14: Warning: Expression is already a G since it is a F.
base_isa3.nit:91,8--14: Warning: Expression is already a A since it is a G.
true