Toward #1311. This will also mean we can refactor `is_likely_used`.
Toward #1311.
This will also mean we can refactor
is_likely_used.