CIF to mCRL2 transformation should support conditional updates

Currently, CIF specifications containing conditional updates cannot be transformed to mCRL2. As mCRL2 has conditional expressions, it should be possible to add support for this.