OperationRedefinition.ice:18: redefinition of operation `operation' as operation `operation'