Move `leak_check` into its own method, and ensure that all higher-ranked code is in
`higher_ranked.rs`.
WIP -- make all predicates higher-ranked