Zap dead-ness info appropriately in SpecConstr