Transaction -> BalancedOperationPair