packageca.mcgill.ecse.dslreasoner.vampire.icse;@SuppressWarnings("all")publicclassYakinduTest{publicstaticvoidmain(finalString[]args){thrownewError("Unresolved compilation problems:"+"\nThe method or field yakinduPackage is undefined"+"\neINSTANCE cannot be resolved");}}