Added the Union constraint and NewList analyzer to take the union of the
ranges from a list with the widenBounds method