PSE Example 2.7 - EliminateVar