This debug output is not needed
Forgot to update the number of eliminated variables when uneliminating