Function pred 

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

{ u | (u, node) ∈ ⟦path⟧ } — nodes that reach node.