TODO: The above line is correct comparing to the vmspec2. But one could
make class file verification a bit stronger here by using the notion of
superinterfaces or even castability or assignment compatibility.