docs: def B(u, v, dfs_data):
      """The branch at u containing v is the set of all edges incident on v or any descendant of v, if a(v) == u."""
      """Bu(v) = {wx | w is in S*(v)}"""
      if a(v, dfs_data) != u:
          return None
  
      return list(set([edge_id for w in S_star(v, dfs_data) for edge_id in dfs_data['graph'].get_node(w)['edges']]))