syntax_data: {"ast_node_type":"function","tokens":[{"end":85,"kind":"keyword","start":0,"text":"fn"}]}
source_snippet:     fn initialize_start_block(&self, _: &mir::Body<'tcx>, state: &mut Self::Domain) {
context_before:     // sets state bits for Arg places
context_after:         // set all bits to 1 (uninit) before gathering counter-evidence