{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//!"}]}
//!    that there exists a path `P` from `N` to `M` where `P` does not
//!    that `V` holds on entry to `N`. Formally: a node `M` such
//!    write `V`. If the `reader` is `None`, then the current