commuteInstruction should propagate kill / dead info.