Symbol: expr_is_zero