Intersect the result of the standard widening with all the constraints in array that are satisfied by both a1 and a2.