Function succ 

pub fn succ<B: PathBackend + ?Sized>(
    g: &B,
    node: &Term,
    path: &Path,
) -> HashSet<Term>

{ u | (node, u) ∈ ⟦path⟧ } — nodes reachable forward from node.