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