Fixes incorrect copying of CastInteger instruction