Currently, the CIF to mCRL2 transformer does not support CIF models that use the logical implication operator `=>` in boolean expressions. But this operator is supported by mCRL2, also with the syntax `=>` (see [mCRL2 documentation](https://www.mcrl2.org/web/user_manual/language_reference/data.html#data-expressions)).