[checker]: Dump the CFG when we fail. am: 30a11eb467

Change-Id: I0a17a76a7b2ea891ad82cf3425062bbc7e5d81c3