preprint: Combinatorics of branchings in higher dimensional automata