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

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