semantic: Correctly handle member @property function.