Differenciate between ReachabilityGraoh and Coverabilitygraph

Need to differ this, because Coverability is a much more
complex topic and it would be no good idea to calculate a
full coverabilitygraph if you only need a Reachabilitygraph
reachabilityGraph should be ok now, CoverabilityGraoh is broken