let equal x y = match (x,y) with |Or (p1,i1), Or (p2,i2) -> (i1 = i2) && (CudfAdd.equal p1 p2) |Pkg p1, Pkg p2 -> CudfAdd.equal p1 p2 |_ -> false