{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            state.flood_with(place_to_flood.as_ref(), &self.map, ConditionSet::BOTTOM);
        self.find_opportunity(bb, state, cost.clone(), depth + 1)