[Consistency Predicates] Minor Change: Renamed some methods and
re-written some javadoc (should be semantic preserving)