EnumeratorRedefinition.ice:17: redefinition of enumerator `A'