before a first branching