Variable Elimination Ordering