Comments
Use nested class in example DataFlow
Nested class test
Rename method to better describe its purpose: checkConsistency -> getPredicatesInconsistentWith