tests for Variable Elimination
doctest in Variable Elimination