Consistency checker: delegate incremental checking to full checking.