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)