Our proposal distribution samples each variable with uniform probability working top-down through the forest.
in general, algorithms that match all possible rules are likely to be prohibitively slow, as well as unwieldy to implement.