pub fn div_of_alloc_tree(
    dcg: &DCG,
    visited: &mut HashMap<Loc, ()>,
    loc: &Loc
) -> Div