Cambios en diagrama de clases y OCL

OCL:
-Añadida restricción de pagaAseguradora y arreglada pagaDueño.
-Creados respectivos escenarios.

Diagramas de clase:
-Arregladas algunas multiplicidades gracias a escenarios de OCL