pub fn klee_assume(condition: bool)
Assumes that the condition is true during KLEE runtime.
condition