check for KLEE functions if the verifier is not KLEE
check for KLEE functions if the verifier is not KLEE

To catch problems with other tools.

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