am 53201ec3: am 8c4113b8: Merge "Revert "Revert "Revert "Revert "Use the object class as top in reference type propagation"""""

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