ObjectiveC migrator. Fixes a bug when protocol
conformance is inferred. // rdar://15515206