Integer min probadorHaskellOCL

Integer1:
  Double: 5.72
  Entero: 5



ERROR
invariant2 = context _Integer1 [invariantInteger2]
invariantInteger2 self = ((ocl self |.| entero' |.| (minOCL (oclInt 2)))) |==| (oclInt 2)
da False
esta dando de resultado el máximo