ClassDAG testcase matches Korat example
Refactored and added testcases

Refactored ClassInterfaceDAG, added ClassDAG
Work on ClassInterface example and benchmark