flow graph reducibility