still with operator priority problem in PostfixForm