ObjectiveC migrator: tighten rule about when to
migrate to @property with getter name starting with
'is'.