use -silent-klee-assume
use -silent-klee-assume

we don't want those messages

Signed-off-by: Statica group <8a121e07356f2778194be5675842bf83943fbb18@fi.muni.cz>

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