add tests for outside edges (inheritance and signature
add method to the contract and subclasses
add tests for successor
fix algorithm decorator
optimize tarjan algorithm
Merge branch 'feature_graph_successor'
pretty print decorator
d.r.y
doc