Insert explicit reshards at the end of the func when func op result sharding does not match the sharding of returned value.

Insert explicit reshards at the end of the func when func op result sharding does not match the sharding of returned value. #475