[ConsistencyPredicates] Minor Changes: Added some comments and
refactored some code (semantic preserving)