fixed handling of IntExpr