Contract Simplifier API