WYCS: bug fix for AExprs and Div.