added name mangling for transformed operators