Use path checker that is more akin to KLEE's