boolean implies probadorHaskellOCL
<details key="invariantToString" value="((1=1) implies (1=1)).toString"/>
No genera nada
<!--
<details key="invariantIMPLIES1" value="false.implies(false)"/>
<details key="invariantIMPLIES2" value="false.implies(true)"/>
<details key="invariantIMPLIES3" value="true.implies(false)"/>
<details key="invariantIMPLIES4" value="true.implies(true)"/>
-->