is_at_equiv
int is_at_equiv(int, int);
if (!is_at_equiv(attr[from], prev_attr) &&
!is_at_equiv(attr[from], next_attr)) {
if (is_at_equiv(prev_attr, next_attr)) {
if (curr > 0 && !is_at_equiv(attr[curr-1], a))
(curr == 0 || !is_at_equiv(attr[curr-1], a)))