semantic: Rewrite properties in postfixes.