tests/esbmc example is working for bmc -d=pthread -b=11