flow graph generated