DM.GT.5.a: Specify in a digraph the order in which tests are to be performed.