Restricciones y escenarios en OCL

OCL:
-Arregladas invariantes PagaDueño y PagaAseguradora. Ahora ya funciona
definitivamente.
-Añadido invariante xorPaga
-Añadido invariante quinceVehiculos
-Añadido invariante tresVehiculos
-Añadidas restricciones de derivaciones en OCL