basics of a reachabilitygraph
add wheight and up_to_date_functionality
add some more cache-validation-stuff and a basic test for w0, sorry for the bad tests, will get better soon
generated first reachabilitygraph, hope it's correct
add graphviz-visualization for ReachabilityGraphs and fix little bugs which I found while visualizing it