[Consistency Predicates] Minor Change: Reverted some old code that
should not have been changed