An example of one branching strategy