{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"self.universe_indices.len()"}]}
            self.universe_indices.len() + self.current_index.as_usize() - debruijn.as_usize() - 1;
        let index =
        let universe = self.universe_indices[index].unwrap_or_else(|| {