klee: concretize condition in switch statements.

These only happen in QEMU LLVM bitcode, not sure how
to deal with them for now. Happen not very frequently.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>