Merged
requested to merge 156-don-t-eliminate-enumerations-to-integers-for-cif-to-mcrl2 into develop
- Don't eliminate enums for CIF to mCRL2.
- Added CifCollectUtils.collectEnumDecls.
- Reuse CifCollectUtils.collectEnumDecls for CIF simulator compiler.
- Move enum representative computation from CIF simulator compiler to CIF common plugin (CifEnumUtils).
Closes #156 (closed)