-alt/error_type_unk_alt7.nit:20,15--18: Type error: class Fail not found in module error_type_unk_alt7.
-alt/error_type_unk_alt7.nit:22,17--20: Type error: class Fail not found in module error_type_unk_alt7.
-alt/error_type_unk_alt7.nit:23,7--11: Error: Method '+' doesn't exists in Bool.
+alt/error_type_unk_alt7.nit:20,15--18: Error: class `Fail` not found in module `error_type_unk_alt7`.
+alt/error_type_unk_alt7.nit:22,17--20: Error: class `Fail` not found in module `error_type_unk_alt7`.
+alt/error_type_unk_alt7.nit:23,9: Error: method `+` does not exists in `Bool`.
+alt/error_type_unk_alt7.nit:24,16--19: Error: class `Fail` not found in module `error_type_unk_alt7`.