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