some more examples and the order of branches should not matter