Link __VERIFIER_assert before slicing
Link __VERIFIER_assert before slicing

It calls __VERIFIER_error which is a slicing criterion.

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic