changed toOperations() return type to make it more suited for 3AC generation