debug coverabilitygraph, now it seems to work