We can only optimize one CopyB for each return value.