// File: eryxcc[P]lois/tests/../include/loisextra.h
// Function: lois::lsetof<lois::lpair<lois::term, lois::term>>::operator-=(lois::lpair<lois::term, lois::term> const&)
lsetof<T>& lsetof<T>::operator -= (const T& y) {
  lsetof<T> x1 = removeall();
  insert(y, ain);
  lsetof<T> y1 = removeall();
  for(const T& e: x1) If(!memberof(e, y1)) insert(e, ain);
  return (*this);
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x260, %rsp            # imm = 0x260
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x230(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x3d200
movq -0x10(%rbp), %rsi
leaq -0x58(%rbp), %rdi
movq %rdi, -0x228(%rbp)
callq 0x35d60
movq -0x230(%rbp), %rsi
leaq -0x68(%rbp), %rdi
movq %rdi, -0x220(%rbp)
callq 0x173b0
leaq 0x91a07(%rip), %rsi     # 0xa57f0
leaq -0x78(%rbp), %rdi
movq %rdi, -0x218(%rbp)
callq 0x173b0
movq -0x230(%rbp), %rdi
movq -0x228(%rbp), %rsi
movq -0x220(%rbp), %rdx
movq -0x218(%rbp), %rcx
callq 0x34730
jmp 0x13e1c
leaq -0x78(%rbp), %rdi
callq 0x14b20
leaq -0x68(%rbp), %rdi
callq 0x14b20
leaq -0x58(%rbp), %rdi
callq 0x12ac0
movq -0x230(%rbp), %rsi
leaq -0xb0(%rbp), %rdi
callq 0x3d200
jmp 0x13e4c
leaq -0x38(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rsi
leaq -0xe8(%rbp), %rdi
callq 0x12de0
jmp 0x13e6c
movq -0xb8(%rbp), %rsi
leaq -0x118(%rbp), %rdi
callq 0x12e10
jmp 0x13e81
jmp 0x13e83
leaq -0xe8(%rbp), %rdi
leaq -0x118(%rbp), %rsi
callq 0x12e40
testb $0x1, %al
jne 0x13f30
movl $0x2, -0x11c(%rbp)
leaq -0x118(%rbp), %rdi
callq 0x12f90
leaq -0xe8(%rbp), %rdi
callq 0x12f90
jmp 0x141f8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x14b20
leaq -0x68(%rbp), %rdi
callq 0x14b20
leaq -0x58(%rbp), %rdi
callq 0x12ac0
jmp 0x14233
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x14233
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x14227
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x141ea
leaq -0xe8(%rbp), %rdi
callq 0x12ef0
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rsi
leaq -0x168(%rbp), %rdi
leaq -0xb0(%rbp), %rdx
callq 0x3d710
jmp 0x13f5f
leaq -0x158(%rbp), %rdi
leaq -0x168(%rbp), %rsi
callq 0x400a0
jmp 0x13f74
leaq -0x148(%rbp), %rdi
movq %rdi, -0x238(%rbp)
leaq -0x158(%rbp), %rsi
movq %rsi, -0x240(%rbp)
callq 0x10ff0
movq -0x240(%rbp), %rdi
callq 0x11060
leaq -0x168(%rbp), %rdi
callq 0x11060
movq -0x238(%rbp), %rax
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rsi
leaq -0x198(%rbp), %rdi
callq 0x3ead0
jmp 0x13fd0
movq -0x130(%rbp), %rsi
leaq -0x1c8(%rbp), %rdi
callq 0x3eb60
jmp 0x13fe5
jmp 0x13fe7
leaq -0x198(%rbp), %rdi
leaq -0x1c8(%rbp), %rsi
callq 0x11080
testb $0x1, %al
jne 0x14091
movl $0x4, -0x11c(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0x110e0
leaq -0x198(%rbp), %rdi
callq 0x110e0
leaq -0x148(%rbp), %rdi
callq 0x11120
jmp 0x141c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x141de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x168(%rbp), %rdi
callq 0x11060
jmp 0x141de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x141bb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x141af
leaq -0x198(%rbp), %rdi
callq 0x110b0
andb $0x1, %al
movb %al, -0x1c9(%rbp)
testb $0x1, -0x1c9(%rbp)
jne 0x140b3
jmp 0x1417f
movq -0x128(%rbp), %rsi
leaq -0x1f0(%rbp), %rdi
movq %rdi, -0x258(%rbp)
callq 0x35d60
movq -0x230(%rbp), %rsi
leaq -0x200(%rbp), %rdi
movq %rdi, -0x250(%rbp)
callq 0x173b0
leaq 0x91702(%rip), %rsi     # 0xa57f0
leaq -0x210(%rbp), %rdi
movq %rdi, -0x248(%rbp)
callq 0x173b0
movq -0x230(%rbp), %rdi
movq -0x258(%rbp), %rsi
movq -0x250(%rbp), %rdx
movq -0x248(%rbp), %rcx
callq 0x34730
jmp 0x14124
leaq -0x210(%rbp), %rdi
callq 0x14b20
leaq -0x200(%rbp), %rdi
callq 0x14b20
leaq -0x1f0(%rbp), %rdi
callq 0x12ac0
jmp 0x1417f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x14b20
leaq -0x200(%rbp), %rdi
callq 0x14b20
leaq -0x1f0(%rbp), %rdi
callq 0x12ac0
jmp 0x141a3
jmp 0x14181
leaq -0x198(%rbp), %rdi
callq 0x3ea80
jmp 0x1418f
jmp 0x13fe7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0x110e0
leaq -0x198(%rbp), %rdi
callq 0x110e0
leaq -0x148(%rbp), %rdi
callq 0x11120
jmp 0x141de
jmp 0x141cb
leaq -0xe8(%rbp), %rdi
callq 0x12f50
jmp 0x141d9
jmp 0x13e83
leaq -0x118(%rbp), %rdi
callq 0x12f90
leaq -0xe8(%rbp), %rdi
callq 0x12f90
jmp 0x14227
movl $0x1, -0x11c(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x13540
leaq -0x38(%rbp), %rdi
callq 0x13540
movq -0x230(%rbp), %rax
addq $0x260, %rsp            # imm = 0x260
popq %rbp
retq
leaq -0xb0(%rbp), %rdi
callq 0x13540
leaq -0x38(%rbp), %rdi
callq 0x13540
movq -0x80(%rbp), %rdi
callq 0x84d0
nopw %cs:(%rax,%rax)
nop