/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/
../
FileSytem.aird
FileSytem.ecore
FileSytem.genmodel