can be one of "missing.edge", "basis.set", or "all.pairs". With the first, one or
more minimal testable implication (with the smallest possible conditioning set)
is returned per missing edge of the graph. With "basis.set", one testable
implication is returned per vertex of the graph that has non-descendants other than
its parents. Basis sets can be smaller, but they involve higher-dimensional independencies,
whereas missing edge sets involve only independencies between two variables at a time.
With "all.pairs", the function will return a list of all implied conditional independencies
between two variables at a time. Beware, because this can be a very long list and it
may not be feasible to compute this except for small graphs.