[Consistency Predicates] Minor Changes: Formated and simplified some
code, and added some javadoc.