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