Use the dominator tree to mark the receiver non-null. Added downcast to allow more inlining. BUG= Change-Id: Ib2c3d2ac99ab12ce9be5aa1d16fb093e0c95b6c2