pub fn div_of_dcg_succs( dcg: &DCG, visited: &mut HashMap<Loc, ()>, loc: Option<&Loc>, succs: &Vec<Succ>, extent: &mut Vec<Div>)