System for probabilistic inference in domains represented by bayesian nets using variables elimination algorithm