{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//!"}]}
//!    such that there exists a path `P` from `N` to `M` and `M` writes
//!    variable `V` and which is reachable from `N`. Formally: a node `M`
//!    `V`. If the `writer` is `None`, then there is no writer