Branching information in CFG