Fix a bug in the unification.
Fix a bug in the unification.

The `skip` counter, introduced as an optmization to avoid unnecessary
assertions, was decremented correctly but not incremented/restored well.
This patch fix this bug.

Metalaka/Central,Grummfy/Central,Metalaka/Central,vcgato29/Central,vcgato29/Central,Grummfy/Central