introduce ASSUME(<level>,<int expr>)
chg: grammar changes for ASSUME