Added an optimization pass to be applied after specialize_branched_loops that removes the dead allocations that can potentially be produced by that pass.