ca.mcgill.ecse.dslreasoner.ide.VampireLanguageIdeSetup