added union constrain test