Variable Elimination Example