Corrected imports for Consistency Predicate classes.