- Eliminate provably non-pointer nodes from graphs.