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.