public void testHeritageMultipleDiamond() {
   Cache cache = initWorkingSpace();
   Type movable = cache.addType("Movable");
   Type vehicle = movable.addSubType("Vehicle");
   Type human = movable.addSubType("Human");
   vehicle.addSubType("Transformer", new Generic[] {human});
   closingWorkingSpace(cache);
 }
 public void testAddAndRemove() {
   Cache cache = initWorkingSpace();
   Type vehicle = cache.addType("Vehicle");
   Type car = vehicle.addSubType("Car");
   Type truck = vehicle.addSubType("Truck");
   truck.addSubType("Van");
   car.remove();
   closingWorkingSpace(cache);
 }
 public void testHeritage() {
   Cache cache = initWorkingSpace();
   Type vehicle = cache.addType("Vehicle");
   vehicle.addSubType("Car");
   closingWorkingSpace(cache);
 }