Symbol: kn_add_assertion