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

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