Contract Consistency Checker