{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.transfer_function(state).initialize_state();"}]}
        self.transfer_function(state).initialize_state();
    fn initialize_start_block(&self, _body: &mir::Body<'tcx>, state: &mut Self::Domain) {
    }