[Bug 1981739] Review Request: klee - Symbolic execution engine