add assert definition