ObjectiveC migrator: More work towards
insertion of ObjC audit pragmas.