Adding beginnings of variable elimination for Bayesian Networks, doesn't work yet