Input: ADMG
Output: Probability expression is independent of a set of nodes.

Note: this algorithm has already been implemented in the R package causaleffect. In #31, the causaleffect implementation was wrapped and made available through the y0 interface. However, we would like to provide our own implementation, since doing this will give us insight that can not be found by reading the R code.

There is already a data structure that represents a Verma constraint in https://github.com/y0-causal-inference/y0/blob/main/src/y0/struct.py. Further, the list of Verma constraints with several example graphs from Causal Fusion can be imported from https://github.com/y0-causal-inference/y0/blob/main/src/y0/examples.py

Both of these allow for easy test-driven development.