{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"///"}]}
    /// immediate postdominator" of a set of points (if one
    /// Viewing the relation as a graph, computes the "mutual
    /// exists). See `postdom_upper_bound` for details.