Update VariableElimination.py