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

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