// File: Nallantli[P]Rossa/main/rossa/node/node.cpp
// Function: UntilNode::fold(std::vector<std::pair<std::vector<unsigned long long, std::allocator<unsigned long long>>, symbol_t>, std::allocator<std::pair<std::vector<unsigned long long, std::allocator<unsigned long long>>, symbol_t>>> const&) const
const ptr_node_t UntilNode::fold(const std::vector<std::pair<std::vector<hash_ull>, symbol_t>> &consts) const
{
	if (step == nullptr)
		return std::make_shared<UntilNode>(path, a->fold(consts), b->fold(consts), nullptr, inclusive, token);
	else
		return std::make_shared<UntilNode>(path, a->fold(consts), b->fold(consts), step->fold(consts), inclusive, token);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xd0, %rsp
movq %rdi, -0xb8(%rbp)
movq %rdi, %rax
movq %rax, -0xb0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq %rdi, -0xa8(%rbp)
addq $0xc8, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xe6230
testb $0x1, %al
jne 0xe1b8c
jmp 0xe1c8c
movq -0xa8(%rbp), %rdi
movq %rdi, %rax
addq $0x8, %rax
movq %rax, -0xc0(%rbp)
addq $0xa8, %rdi
callq 0x2d030
movq %rax, %rsi
movq -0x18(%rbp), %rdx
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq -0x38(%rbp), %rdi
callq *%rax
movq -0xa8(%rbp), %rdi
addq $0xb8, %rdi
callq 0x2d030
movq %rax, %rsi
movq -0x18(%rbp), %rdx
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq -0x48(%rbp), %rdi
callq *%rax
jmp 0xe1bea
movq -0xc0(%rbp), %rsi
movq -0xa8(%rbp), %rcx
movq $0x0, -0x60(%rbp)
movq %rcx, %r9
addq $0xd8, %r9
addq $0x28, %rcx
movq %rsp, %rax
movq %rcx, (%rax)
leaq -0x28(%rbp), %rdi
leaq -0x38(%rbp), %rdx
leaq -0x48(%rbp), %rcx
leaq -0x60(%rbp), %r8
callq 0xe9c40
jmp 0xe1c2b
movq -0xb8(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x58cd0
leaq -0x28(%rbp), %rdi
callq 0x58d00
leaq -0x48(%rbp), %rdi
callq 0x24b20
leaq -0x38(%rbp), %rdi
callq 0x24b20
jmp 0xe1ddf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0xe1c7e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x24b20
leaq -0x38(%rbp), %rdi
callq 0x24b20
jmp 0xe1def
movq -0xa8(%rbp), %rdi
movq %rdi, %rax
addq $0x8, %rax
movq %rax, -0xc8(%rbp)
addq $0xa8, %rdi
callq 0x2d030
movq %rax, %rsi
movq -0x18(%rbp), %rdx
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq -0x80(%rbp), %rdi
callq *%rax
movq -0xa8(%rbp), %rdi
addq $0xb8, %rdi
callq 0x2d030
movq %rax, %rsi
movq -0x18(%rbp), %rdx
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq -0x90(%rbp), %rdi
callq *%rax
jmp 0xe1ced
movq -0xa8(%rbp), %rdi
addq $0xc8, %rdi
callq 0x2d030
movq %rax, %rsi
movq -0x18(%rbp), %rdx
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq -0xa0(%rbp), %rdi
callq *%rax
jmp 0xe1d19
movq -0xc8(%rbp), %rsi
movq -0xa8(%rbp), %rcx
movq %rcx, %r9
addq $0xd8, %r9
addq $0x28, %rcx
movq %rsp, %rax
movq %rcx, (%rax)
leaq -0x70(%rbp), %rdi
leaq -0x80(%rbp), %rdx
leaq -0x90(%rbp), %rcx
leaq -0xa0(%rbp), %r8
callq 0xe9ce0
jmp 0xe1d58
movq -0xb8(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x58cd0
leaq -0x70(%rbp), %rdi
callq 0x58d00
leaq -0xa0(%rbp), %rdi
callq 0x24b20
leaq -0x90(%rbp), %rdi
callq 0x24b20
leaq -0x80(%rbp), %rdi
callq 0x24b20
jmp 0xe1ddf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0xe1dd4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0xe1dc8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x24b20
leaq -0x90(%rbp), %rdi
callq 0x24b20
leaq -0x80(%rbp), %rdi
callq 0x24b20
jmp 0xe1def
movq -0xb0(%rbp), %rax
addq $0xd0, %rsp
popq %rbp
retq
movq -0x50(%rbp), %rdi
callq 0x119c0
nopl (%rax,%rax)