Hacer mas de una validacion en el plugin de eclipse.
Cuando se valida un modelo .xmi:
click derecho sobrel xmi -> HaskellOCL
Este se valida correctamente
Si se intenta validar el mismo o otro valida incorrectamente dando error.
Si se reinicia la instancia de Eclipse y se vuelve a validar funciona bien. Pero solo una vez como el caso anterior nombrado en esta issue.