Checks if the boundwitness contains the addresses