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)"/>
       -->