Assertion list
coverage (primary) → AtLocation

Results from Ascent++: 4
coverageAtLocation effect 0.53
coverageAtLocation force 0.31
coverageAtLocation finextra 0.29
coverageAtLocation the additional info section 0.25