am 0a3fb002: am a3073e24: Merge "Fixes and improvements in ReferenceTypePropagation"

* commit '0a3fb00222bdb0010e851c7b1e834f8502e52df2':
  Fixes and improvements in ReferenceTypePropagation