Remove generation of reachability graph

Has severe performance problems