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.