Eliminate completely superfluous double cloning