“…Thus, A z maintains value combinations for xz and .T3, A 2 for xl and x2, A 3 for xl and x3, and A 4 for all of x2, x3 and x4. AAS works like AS, but differs in the fact that message arguments are not just individual assignments, but Cartesian products of assignments [2] to different variables. More precisely, in the current implementation of AAS, an assignment is a list of intervals, one for each involved variable, which compactly represent all the tuples of their Cartesian product.…”