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.