Debugging the Flow Graph