Proposed change: The tests for coverage were originally copied from the tests used for reachability checks, so some of them aren't that useful or are repetitive. It's better to focus on corner cases for coverage results instead.