Una estructura combinada se prueba con el invariante que une las dos partes, además de las de cada una.