### TODO List: 1. test ClosureGraphChecker and ReadIncChecker with **valid View** 2. collect statistics 1. arguments - number of processes - number of operations 2. tools - Time & Memeory - Perfidix - JProfile - TPTP