Only propagate deductions once, at the end of transaction.