Add update A[s union s'] code