Loading carre_faulty1.xmi
Writing carre_faulty1.txt
