[Consistency Predicates] Minor Changes: Removed redundant code that used
to record all changed RelationLists.