Add checks for nontrivial inconsistencies