deletions of doubled instructions