[NFC] rewrite PredictableMemOpts dead allocation elimination

Generalize the code that promotes the remaining uses of an allocation to make it
readable and extensible. We need to be able to promote allocations with more
interesting uses, namely mark_dependence.

Author: atrick