{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"assert_matches!(state,"}]}
        assert_matches!(state, State::Unreachable);
        // The initial state maps all tracked places of argument projections to ⊤ and the rest to ⊥.
        *state = State::new_reachable();