am a3073e24: Merge "Fixes and improvements in ReferenceTypePropagation"

* commit 'a3073e24e00274d2957771518be5ecfa74591744':
  Fixes and improvements in ReferenceTypePropagation