{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"context[from_region]"}]}
        context[from_region] = Trace::StartRegion;
        let mut context = IndexVec::from_elem(Trace::NotVisited, &self.definitions);