max real probadorHaskellOCL
Real:
double: 2.3
No generan nada
Real:
Double: 2.3
Entero: 2
self.double.max(2.0)=2.3
deberia generar
invariant0 = context _Real1 [invariantReal0]
invariantReal1 self = ((ocl self |.| double |.| (maxOCL' (oclDouble 2.0)))) |==| (oclDouble 2.3)