Symbol: kn_verify_assertion