verify correctness of combination (x1, addr, x2)