An sinkable instruction may exist with uses, if those uses are in dead blocks.