2025-05-14 Amortized Analysis as a Cost-Aware Abstraction Function