[objc migrator]: More knobs to do migration to
use of objc's properties.