ObjectiveC migrator: rename inferred isXXX property,
with a suitable 'getter' attribute.