FIXED: https://github.com/SWI-Prolog/swipl-devel/issues/17: GC crash on
optimized unification.
FIXED:  Also use skippedVar() for optimized == and \==.