Add CoverabilityGraph features