do_unify()

; UNIFY VAR-VARREF t1(*(global(209420))=VAR(0))==makeRef(t2)(ref at global(209224)
d(null));
; UNIFY VAR-VARREF t1(*(global(209421))=VAR(0))==makeRef(t2)(ref at global(209225)
d(null));
; UNIFY VAR-VALUE t1(*(local(228))=VAR(0))==w2([]);
; UNIFY VAR-VALUE t1(*(local(214))=VAR(0))==w2(int(1));
; UNIFY VAR-VALUE t1(*(local(231))=VAR(0))==w2(int(1));
; UNIFY VAR-VALUE t1(*(local(216))=VAR(0))==w2([]);
; UNIFY VAR-VALUE t1(*(global(209424))=VAR(0))==w2(term at global(209431));
; UNIFY VAR-VALUE t1(*(global(209434))=VAR(0))==w2([]);
; UNIFY ATTVARREF-VAR t2(*(global(209229))=VAR(0))==makeRef(t1)(ref at global(209447)
d(null));
; UNIFY Atvar-VALUS t1(*(global(209464))=attvar at global(209464))==MAY_PASS_REF(t2,orig2)(*(global(209448))=attvar at global(209448));

        %% INTERESTING ATTVAR = *(global(209464))=attvar at global(209464)  From t1==t2
        %       (((*value) & 0x00000007L) == 0x00000001L) = 1
        %       ((char *)(value) >= (char *)(__PL_ld->stacks.global.base) && (char *)(value) < (char *)(__PL_ld->stacks.local.base)) = 1
        %% INTERESTING VALUE = *(global(209448))=attvar at global(209448)

        % ENTER_ATV t1==t2
 *(global(209464))=attvar at global(209464)
        %       sinkmode_global = 16777216
        %       sinkmode_outer = 16777216
          VALUE = *(global(209448))=attvar at global(209448)
        %% SCHEDULED WAKEUP valPAttVar(*av) = *(global(209448))=attvar at global(209448)
        %% TRAILED attvar *(global(209464))=attvar at global(209464)
        %% ASSIGN **(global(209464))=attvar at global(209464)  VALUE *(global(209448))=attvar at global(209448)
        %% EXIT AV = *(global(209464))=attvar at global(209448)

; UNIFY VAR-VALUE t1(*(local(233))=VAR(0))==w2(term at global(209437));
; UNIFY VALUE-VALUE t1(*(local(252))=term at global(209437))==w2(term at global(209481));
; UNIFY VALUE-VALUE t2(*(local(253))=term at global(209481))==w1(term at global(209437));
; UNIFY VALUE-VAR t2(*(global(209483))=VAR(0))==w1(term at global(209440));
; UNIFY VALUE-VAR t2(*(global(209484))=VAR(0))==w1([]);
; UNIFY VAR-VALUE t1(*(local(236))=VAR(0))==w2(term at global(209484));
; UNIFY VAR-VARREF t1(*(local(260))=VAR(0))==makeRef(t2)(ref at local(236)
d(null));
; UNIFY VAR-VALUE t1(*(local(264))=VAR(0))==w2(term at global(209421));
; UNIFY VALUE-VALUE t1(*(local(278))=term at global(209421))==w2(term at global(209487));
; UNIFY VALUE-VALUE t2(*(local(279))=term at global(209487))==w1(term at global(209421));
; UNIFY VALUE-VAR t2(*(global(209489))=VAR(0))==w1(int(1));
; UNIFY VALUE-VAR t2(*(global(209490))=VAR(0))==w1(term at global(209431));
 false.

?-