{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"state.flood_with_tail_elem(lhs.as_ref(),"}]}
                state.flood_with_tail_elem(lhs.as_ref(), tail, &self.map, ConditionSet::BOTTOM);
            if let Some((lhs, tail)) = self.mutated_statement(stmt) {
            }