fix remove multiple W/L expressions
add const arithemetic propagation
fix true while loop
finish if const
fix const while loop