Software Contract Optimization