This pass must run after propagation