Compute list of AS neighbors in border of OO
Computes the list of across-the-street neighbors in the border of OO. The input is a list of terms OO (2nd element of type POLY). The output is a list of quadruples [i,j,k,l] s.t. x_k * b_i = x_l * b_j.