llvm-slicer: do not slice the body of __VERIFIER_assume
llvm-slicer: do not slice the body of __VERIFIER_assume

This is a follow-up for the previous commit -- we changed
klee_assume for __VERIFIER_assume.

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

mchalupa/dg,mchalupa/dg,mchalupa/dg,mchalupa/dg