add assert library