[Consistency Predicates] Minor Change: Added some comments, formatted
some code, and renamed a few methods for clarity.