// File: eryxcc[P]lois/tests/../include/loisextra.h
// Function: lois::operator+=(lois::lelemof<int>&, int)
inline lelemof<int>& operator += (lelemof<int>& v, int b) {
  for(int a: v.singleton.removeall())
  for(int c: cardinality(branchset(v.singleton.ain)).singleton)
    v.singleton += (a + c * b);
  return v;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movq -0x8(%rbp), %rsi
leaq -0x40(%rbp), %rdi
movq %rdi, -0x1a0(%rbp)
callq 0x18970
movq -0x1a0(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x136c0
jmp 0x18650
movq -0x18(%rbp), %rsi
leaq -0xb0(%rbp), %rdi
callq 0x136f0
jmp 0x18662
jmp 0x18664
leaq -0x70(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x13310
movb %al, -0x1a1(%rbp)
jmp 0x1867c
movb -0x1a1(%rbp), %al
testb $0x1, %al
jne 0x186e8
jmp 0x18688
movl $0x2, -0xb4(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x13420
leaq -0x70(%rbp), %rdi
callq 0x13420
leaq -0x40(%rbp), %rdi
callq 0x13d60
jmp 0x18954
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x18949
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x18940
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x18934
leaq -0x70(%rbp), %rdi
callq 0x133c0
movq %rax, -0x1b0(%rbp)
jmp 0x186fa
movq -0x1b0(%rbp), %rax
movl (%rax), %eax
movl %eax, -0xb8(%rbp)
movq -0x8(%rbp), %rsi
leaq -0x120(%rbp), %rdi
movq %rdi, -0x1c0(%rbp)
callq 0x173b0
leaq 0x8d0c9(%rip), %rsi     # 0xa57f0
leaq -0x130(%rbp), %rdi
movq %rdi, -0x1b8(%rbp)
callq 0x173b0
movq -0x1c0(%rbp), %rsi
movq -0x1b8(%rbp), %rdx
leaq -0x110(%rbp), %rdi
callq 0x71a80
jmp 0x18756
leaq -0xe8(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x18ea0
jmp 0x1876b
leaq -0x110(%rbp), %rdi
callq 0x19560
leaq -0x130(%rbp), %rdi
callq 0x14b20
leaq -0x120(%rbp), %rdi
callq 0x14b20
leaq -0xe8(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rsi
leaq -0x160(%rbp), %rdi
callq 0x136c0
jmp 0x187b2
movq -0xc0(%rbp), %rsi
leaq -0x190(%rbp), %rdi
callq 0x136f0
jmp 0x187c7
jmp 0x187c9
leaq -0x160(%rbp), %rdi
leaq -0x190(%rbp), %rsi
callq 0x13310
movb %al, -0x1c1(%rbp)
jmp 0x187e4
movb -0x1c1(%rbp), %al
testb $0x1, %al
jne 0x188a3
jmp 0x187f4
movl $0x4, -0xb4(%rbp)
leaq -0x190(%rbp), %rdi
callq 0x13420
leaq -0x160(%rbp), %rdi
callq 0x13420
leaq -0xe8(%rbp), %rdi
callq 0x124e0
jmp 0x18922
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x1884d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x19560
leaq -0x130(%rbp), %rdi
callq 0x14b20
leaq -0x120(%rbp), %rdi
callq 0x14b20
jmp 0x18934
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x18914
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x18908
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x190(%rbp), %rdi
callq 0x13420
jmp 0x18908
leaq -0x160(%rbp), %rdi
callq 0x133c0
movq %rax, -0x1d0(%rbp)
jmp 0x188b8
movq -0x1d0(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x194(%rbp)
movl -0xb8(%rbp), %eax
movl -0x194(%rbp), %ecx
movl -0xc(%rbp), %edx
imull %edx, %ecx
addl %ecx, %eax
movl %eax, -0x198(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0x13620
jmp 0x188f3
jmp 0x188f5
leaq -0x160(%rbp), %rdi
callq 0x133e0
jmp 0x18903
jmp 0x187c9
leaq -0x160(%rbp), %rdi
callq 0x13420
leaq -0xe8(%rbp), %rdi
callq 0x124e0
jmp 0x18934
jmp 0x18924
leaq -0x70(%rbp), %rdi
callq 0x133e0
jmp 0x1892f
jmp 0x18664
leaq -0xb0(%rbp), %rdi
callq 0x13420
leaq -0x70(%rbp), %rdi
callq 0x13420
leaq -0x40(%rbp), %rdi
callq 0x13d60
jmp 0x18961
movq -0x8(%rbp), %rax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
movq -0x78(%rbp), %rdi
callq 0x84d0
nopw (%rax,%rax)