APT and reachability/coverability graphs #112
Description
It seams to me that APT buffers the graph when calling getReachability and when calling getCoverability (and get() uses getCoverability?) with two different keys. This means, one should uniquely call the same method to not produce overhead (since for aus (1-bounded) the reachability and the coverabillity graphs are equal).