{"ast_node_type":"function","tokens":[{"end":83,"kind":"keyword","start":0,"text":"fn"}]}
    fn initialize_start_block(&self, body: &Body<'tcx>, state: &mut Self::Domain) {
        // The initial state maps all tracked places of argument projections to ⊤ and the rest to ⊥.