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