OCL en escenarios de prueba

-Añadida la restricción pagaDueño