/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/
../
.gitignore
FamPatterns.java
TerminatorAndInformation.java