symbiotic: say unknown on unsound results
symbiotic: say unknown on unsound results

if we reach assert, but klee silently concretized (or something like
that), we cannot be sure it is correct, so say unknown

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