Add some tests of computeSupertypeLookupTable.