fix HasExpr