Ensure that unification variables alloc'd during solving are untouchable