Merge "Fix bug in optimizing around instanceof."