(
)
Checks Discount_Transactions ↔ Transactions consistency