Keeps written order, so a later branch can observe the result of a check that appeared earlier in the file.