Change set union to set intersection in verify procedure