Add binary comparison assertions