am dc189335: am 48215e2e: Merge "Revert "Revert "Use the object class as top in reference type propagation"""

* commit 'dc18933518aca4887d3a6d380abf944bd66804a2':
  Revert "Revert "Use the object class as top in reference type propagation""