/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/
../
FAM.xmi
Yakindu.xmi
ecore.xmi
fs.xmi