I created a program that implements the Verify tags in jpf-core. This
program is essentially a needle in a haystack where the only fault is
hidden in a (branch factor)^(depth) amount of possible executions.
for some reason