Improving compatibility checking code