a method and arrangement for causing both flows of an interleaved computer program to conditionally branch upon satisfaction by a machine state of the condition . by saving for at least one cycle the machine state which satisfied the condition for branching in the first flow , the second flow can then also branch on this saved machine state or condition . since both flows branch on the same condition , the flows of the program can be kept together , thereby simplifying programming , even for those machines which have dynamic state conditions that can be branched on .