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