Después de todas las pruebas, funciona perfecto.
Añadida operación poda, para podar una rama de Abb.
Operaciones conjuntistas con Abb (U, interseccion y rombo).
ES_Abin necesaria para imprimir Abb, utilizando conversión a Abin.