semantic: Keep track of postfixes so we don't rewrite @property functions twice.