Support property function rewrite on BinAssingExp
Support property function rewrite on PreExp