pub fn pool_after(pool: u64, payment: u64) -> u64
Accumulate a payment into the compensation pool (saturating).