CIF to mCRL2 should support logical implication operator
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).