Improve transferPolyIdInfo for value-arg abstraction