Amortized Analysis as a Cost-Aware Abstraction Function