ObjectiveC migrator: Infer property in the presense
of methods annotated with attributes.
// rdar://14987909