rewrite RecursivelyDeleteTriviallyDeadInstructions to use a more efficient