Test: Joint tests for two checking algorithms

[hengxin]

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

[hengxin]

DONE List:

1. Refactor: IViewFactory for generation of different kinds of Views
2. joint test ClosureGraphChecker and ReadIncChecker with valid view