Fix regression in testX12_resultLifting2 (incompatible return types of callin method after copy)
- now that methods may be copied before they have types adjusted we need to manually wrap the
  return type before storing it into the MethodModel
1 file changed