add assert library2