Symbol: expr_eliminate_eq