symbiotic: assert always has priority
symbiotic: assert always has priority

if symbolic execution finds assert, say FALSE
whatever happend

Signed-off-by: Marek Chalupa <a05df156a69ad59faa9af9b666ef78009594c145@gmail.com>

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