am ec2ea6ff: Merge "Implement default traversals in CFG & SSA graph checkers."

* commit 'ec2ea6ff6e3d7816df889454866a28b58ce6e6f5':
  Implement default traversals in CFG & SSA graph checkers.