Update checkConsistency