TradeOrder constraint: also check that we have a validated trade condition
Invoicing: add a constraint for invoice
Explanation Cache: add debugging hints