// File: eryxcc[P]lois/src/formula.cpp
// Function: lois::FormulaEq::valueKnown(std::shared_ptr<lois::Variable>, bool)
term valueKnown(vptr v, bool negated) { 
    // non-negated: AND => at least one
    if(negated == !type) {
      if(t1.asVar() == v && t2.asVar()) return term(t2.asVar());
      if(t2.asVar() == v && t1.asVar()) return term(t1.asVar());
      }
    return nullterm;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x110, %rsp            # imm = 0x110
movq %rdx, -0xe0(%rbp)
movq %rdi, -0xd8(%rbp)
movb %cl, %al
movq %rdi, %rcx
movq %rcx, -0xd0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
andb $0x1, %al
movb %al, -0x19(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0xc8(%rbp)
movb -0x19(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movb 0x10(%rcx), %cl
xorb $-0x1, %cl
andb $0x1, %cl
movzbl %cl, %ecx
cmpl %ecx, %eax
jne 0x4e512
movq -0xc8(%rbp), %rsi
addq $0x18, %rsi
leaq -0x30(%rbp), %rdi
callq 0x42060
movq -0xe0(%rbp), %rsi
leaq -0x30(%rbp), %rdi
callq 0x45090
movb %al, %cl
movb $0x0, -0x41(%rbp)
xorl %eax, %eax
testb $0x1, %cl
movb %al, -0xe1(%rbp)
jne 0x4e2f6
jmp 0x4e31d
movq -0xc8(%rbp), %rsi
addq $0x28, %rsi
leaq -0x40(%rbp), %rdi
callq 0x42060
movb $0x1, -0x41(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x44d90
movb %al, -0xe1(%rbp)
movb -0xe1(%rbp), %al
movb %al, -0xe2(%rbp)
testb $0x1, -0x41(%rbp)
jne 0x4e331
jmp 0x4e33a
leaq -0x40(%rbp), %rdi
callq 0x10f20
leaq -0x30(%rbp), %rdi
callq 0x10f20
movb -0xe2(%rbp), %al
testb $0x1, %al
jne 0x4e352
jmp 0x4e3d3
movq -0xc8(%rbp), %rsi
addq $0x28, %rsi
leaq -0x68(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
callq 0x42060
movq -0xf8(%rbp), %rsi
leaq -0x58(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
callq 0x4eb10
movq -0xd8(%rbp), %rdi
movq -0xf0(%rbp), %rsi
callq 0x445f0
jmp 0x4e399
leaq -0x58(%rbp), %rdi
callq 0x14cf0
leaq -0x68(%rbp), %rdi
callq 0x10f20
jmp 0x4e525
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x14cf0
leaq -0x68(%rbp), %rdi
callq 0x10f20
jmp 0x4e535
movq -0xc8(%rbp), %rsi
addq $0x28, %rsi
leaq -0x88(%rbp), %rdi
callq 0x42060
movq -0xe0(%rbp), %rsi
leaq -0x88(%rbp), %rdi
callq 0x45090
movb %al, %cl
movb $0x0, -0x99(%rbp)
xorl %eax, %eax
testb $0x1, %cl
movb %al, -0xf9(%rbp)
jne 0x4e415
jmp 0x4e445
movq -0xc8(%rbp), %rsi
addq $0x18, %rsi
leaq -0x98(%rbp), %rdi
callq 0x42060
movb $0x1, -0x99(%rbp)
leaq -0x98(%rbp), %rdi
callq 0x44d90
movb %al, -0xf9(%rbp)
movb -0xf9(%rbp), %al
movb %al, -0xfa(%rbp)
testb $0x1, -0x99(%rbp)
jne 0x4e45c
jmp 0x4e468
leaq -0x98(%rbp), %rdi
callq 0x10f20
leaq -0x88(%rbp), %rdi
callq 0x10f20
movb -0xfa(%rbp), %al
testb $0x1, %al
jne 0x4e483
jmp 0x4e510
movq -0xc8(%rbp), %rsi
addq $0x18, %rsi
leaq -0xc0(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0x42060
movq -0x110(%rbp), %rsi
leaq -0xb0(%rbp), %rdi
movq %rdi, -0x108(%rbp)
callq 0x4eb10
movq -0xd8(%rbp), %rdi
movq -0x108(%rbp), %rsi
callq 0x445f0
jmp 0x4e4d0
leaq -0xb0(%rbp), %rdi
callq 0x14cf0
leaq -0xc0(%rbp), %rdi
callq 0x10f20
jmp 0x4e525
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x14cf0
leaq -0xc0(%rbp), %rdi
callq 0x10f20
jmp 0x4e535
jmp 0x4e512
movq -0xd8(%rbp), %rdi
leaq 0x57330(%rip), %rsi     # 0xa5850
callq 0x11800
movq -0xd0(%rbp), %rax
addq $0x110, %rsp            # imm = 0x110
popq %rbp
retq
movq -0x70(%rbp), %rdi
callq 0x84d0
nop