// File: /workspace/github_cpp_makefile_star2_O3/eryxcc[P]lois/src/../include/lois.h
// Function: lois::RelTree::display(std::ostream&, int, lois::term const&, lois::term const&)
std::ostream& display(std::ostream& os, int id, const term& t1, const term& t2) {
    if(outlan == SPASS) {
      if(id == ID_ANCESTOR_OR_EQUAL) return os << spassescape(opanceq) << "(" << t1 << ", " << t2 << ")";
      if(id == ID_NOT_ANCESTOR_OR_EQUAL) return os << "not(" << spassescape(opanceq) << "(" << t1 << ", " << t2 << "))";
      }
    return os << t1 << (id == ID_ANCESTOR_OR_EQUAL ? opanceq : opanceq) << t2;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %r8, %r14
movq %rcx, %r15
movq %rsi, %rbx
movq %rdi, %r12
leaq 0x1f806(%rip), %rax     # 0x528ec
cmpl $0x3, (%rax)
jne 0x3312e
cmpl $0x2, %edx
je 0x33176
cmpl $0x1, %edx
jne 0x3312e
movq 0x8(%r12), %rax
movq %rax, 0x38(%rsp)
movq 0x10(%r12), %rax
movq %rax, 0x40(%rsp)
testq %rax, %rax
je 0x3323a
movq 0x1eeab(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x33236
incl 0x8(%rax)
jmp 0x3323a
movq (%r15), %rdi
testq %rdi, %rdi
je 0x33141
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x10(%rax)
jmp 0x33155
leaq 0xbfab(%rip), %rsi      # 0x3f0f3
movl $0xb, %edx
movq %rbx, %rdi
callq 0x72c0
movq 0x8(%r12), %rsi
movq 0x10(%r12), %r15
testq %r15, %r15
je 0x331c4
movq 0x1ee5d(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
je 0x331bf
incl 0x8(%r15)
jmp 0x331c4
leaq 0xd97c(%rip), %rsi      # 0x40af9
movl $0x4, %edx
movq %rbx, %rdi
callq 0x72c0
movq 0x8(%r12), %rax
movq %rax, 0x28(%rsp)
movq 0x10(%r12), %rax
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0x33311
movq 0x1ee1a(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x3330d
incl 0x8(%rax)
jmp 0x33311
lock
incl 0x8(%r15)
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x72c0
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x331fe
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq (%r14), %rdi
testq %rdi, %rdi
je 0x33211
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x10(%rax)
jmp 0x33225
leaq 0xbedb(%rip), %rsi      # 0x3f0f3
movl $0xb, %edx
movq %rbx, %rdi
callq 0x72c0
testq %r15, %r15
je 0x333e9
movq %r15, %rdi
jmp 0x333e4
lock
incl 0x8(%rax)
leaq 0x8(%rsp), %rdi
leaq 0x38(%rsp), %rsi
callq 0x35004
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x72c0
movq %rax, %rbx
leaq 0xcc8f(%rip), %rsi      # 0x3fef4
movl $0x1, %edx
movq %rax, %rdi
callq 0x72c0
movq (%r15), %rdi
testq %rdi, %rdi
je 0x33285
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x10(%rax)
jmp 0x33299
leaq 0xbe67(%rip), %rsi      # 0x3f0f3
movl $0xb, %edx
movq %rbx, %rdi
callq 0x72c0
leaq 0xd73d(%rip), %rsi      # 0x409dd
movl $0x2, %edx
movq %rbx, %rdi
callq 0x72c0
movq (%r14), %rdi
testq %rdi, %rdi
je 0x332c0
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x10(%rax)
jmp 0x332d4
leaq 0xbe2c(%rip), %rsi      # 0x3f0f3
movl $0xb, %edx
movq %rbx, %rdi
callq 0x72c0
leaq 0xd3d7(%rip), %rsi      # 0x406b2
movl $0x1, %edx
movq %rbx, %rdi
callq 0x72c0
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x33303
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0x40(%rsp), %rdi
jmp 0x333df
lock
incl 0x8(%rax)
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x35004
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x72c0
movq %rax, %rbx
leaq 0xcbb8(%rip), %rsi      # 0x3fef4
movl $0x1, %edx
movq %rax, %rdi
callq 0x72c0
movq (%r15), %rdi
testq %rdi, %rdi
je 0x3335c
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x10(%rax)
jmp 0x33370
leaq 0xbd90(%rip), %rsi      # 0x3f0f3
movl $0xb, %edx
movq %rbx, %rdi
callq 0x72c0
leaq 0xd666(%rip), %rsi      # 0x409dd
movl $0x2, %edx
movq %rbx, %rdi
callq 0x72c0
movq (%r14), %rdi
testq %rdi, %rdi
je 0x33397
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x10(%rax)
jmp 0x333ab
leaq 0xbd55(%rip), %rsi      # 0x3f0f3
movl $0xb, %edx
movq %rbx, %rdi
callq 0x72c0
leaq 0xcbd7(%rip), %rsi      # 0x3ff89
movl $0x2, %edx
movq %rbx, %rdi
callq 0x72c0
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x333da
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x333e9
callq 0x133fc
movq %rbx, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
jmp 0x33440
movq %rax, %rbx
jmp 0x33465
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x33474
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x33474
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x33440
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0x30(%rsp), %rdi
jmp 0x3346a
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x33465
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
jne 0x3347c
jmp 0x33481
movq %rax, %rbx
testq %r15, %r15
je 0x33481
movq %r15, %rdi
callq 0x133fc
movq %rbx, %rdi
callq 0x7430
nop