-alt/base_virtual_type_fixed_alt1.nit:32,15--25: Redef Error: Wrong type for parameter `v'. found Discrete, expected V1 as in base_virtual_type_fixed_alt1#A#v1.
-alt/base_virtual_type_fixed_alt1.nit:32,29--36: Redef Error: Wrong return type. found Discrete, expected V1 as in base_virtual_type_fixed_alt1#A#v1.
+alt/base_virtual_type_fixed_alt1.nit:32,15--25: Redef Error: expected `V1` for parameter `v'; got `Discrete`.
+alt/base_virtual_type_fixed_alt1.nit:32,29--36: Redef Error: expected `V1` for return type; got `Discrete`.