am 76d53973: am 431403ad: Merge "Revert "Revert "Revert "Use the object class as top in reference type propagation""""

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