Add recurrent data structures.
Some assertions
Add graph dependency