add assert function