Checking branching