/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/
../
medicalSystem.logicproblem
newMedicalSystem.logicproblem