Some work on Reasoning graphs and dependency graph

- created reasoning graph
- launched topological sort of the graph