rewrite test for compound-prop-set rewrite