Merge "Fix in ReferenceTypePropagation"