EnumRedefinition.ice:12: redefinition of enum `Enum'