/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.trace.logic2vampire/model/
../
logic2vampire.aird
logic2vampire.ecore
logic2vampire.genmodel