__expr_eliminate_eq
__expr_eliminate_eq(type, &l, ep2);
__expr_eliminate_eq(type, &r, ep2);
__expr_eliminate_eq(type, ep1, &l);
__expr_eliminate_eq(type, ep1, &r);
__expr_eliminate_eq((*ep1)->type, ep1, ep2);
__expr_eliminate_eq((*ep2)->type, ep1, ep2);