// File: eryxcc[P]lois/src/solvers.cpp
// Function: lois::notForInternalSolver(lois::rbool)
bool notForInternalSolver(rbool phi) {
  featurelist fl;
  phi->listFeatures(fl);
  for(auto r: fl.relations) if(!r->worksWith(L0)) {
    std::cout << "The internal solver cannot use " << r->getName() << std::endl;
    return 1;
    }

  // only one tree allowed
  RelTree *tree = NULL;
  for(auto r: fl.relations) {
    RelTree *o = dynamic_cast<RelTree*> (r);
    if(tree && o && o != tree) {
      std::cout << "Too many trees" << std::endl;
      return true;
      }
    if(o) tree = o;
    }
  
  return false;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movq %rdi, -0x108(%rbp)
movq %rdi, -0x10(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x5b6c0
movq -0x108(%rbp), %rdi
callq 0x3ece0
movq %rax, -0x100(%rbp)
jmp 0x5a714
movq -0x100(%rbp), %rdi
movq (%rdi), %rax
movq 0x40(%rax), %rax
leaq -0x70(%rbp), %rsi
callq *%rax
jmp 0x5a72a
leaq -0x70(%rbp), %rax
addq $0x30, %rax
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rdi
callq 0x5b6f0
movq %rax, -0x90(%rbp)
movq -0x88(%rbp), %rdi
callq 0x5b720
movq %rax, -0x98(%rbp)
leaq -0x90(%rbp), %rdi
leaq -0x98(%rbp), %rsi
callq 0x5b750
testb $0x1, %al
jne 0x5a77b
jmp 0x5a881
leaq -0x90(%rbp), %rdi
callq 0x5b780
movq (%rax), %rax
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rdi
movq (%rdi), %rax
movq 0x30(%rax), %rax
xorl %esi, %esi
callq *%rax
movb %al, -0x109(%rbp)
jmp 0x5a7ab
movb -0x109(%rbp), %al
testb $0x1, %al
jne 0x5a86e
jmp 0x5a7bb
movq 0x4a816(%rip), %rdi     # 0xa4fd8
leaq 0x18dda(%rip), %rsi     # 0x735a3
callq 0x82b0
movq %rax, -0x118(%rbp)
jmp 0x5a7d7
movq -0xa0(%rbp), %rsi
movq (%rsi), %rax
movq 0x38(%rax), %rax
leaq -0xc0(%rbp), %rdi
callq *%rax
jmp 0x5a7f0
movq -0x118(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x8280
movq %rax, -0x120(%rbp)
jmp 0x5a80c
movq -0x120(%rbp), %rdi
movq 0x4a796(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x5a821
leaq -0xc0(%rbp), %rdi
callq 0x8578
movb $0x1, -0x1(%rbp)
movl $0x1, -0xc4(%rbp)
jmp 0x5a9e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x5a9fc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0x8578
jmp 0x5a9fc
jmp 0x5a870
leaq -0x90(%rbp), %rdi
callq 0x5b7b0
jmp 0x5a75f
movq $0x0, -0xd0(%rbp)
leaq -0x70(%rbp), %rax
addq $0x30, %rax
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rdi
callq 0x5b6f0
movq %rax, -0xe0(%rbp)
movq -0xd8(%rbp), %rdi
callq 0x5b720
movq %rax, -0xe8(%rbp)
leaq -0xe0(%rbp), %rdi
leaq -0xe8(%rbp), %rsi
callq 0x5b750
testb $0x1, %al
jne 0x5a8dd
jmp 0x5a9d7
leaq -0xe0(%rbp), %rdi
callq 0x5b780
movq (%rax), %rax
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movq %rax, -0x128(%rbp)
cmpq $0x0, %rax
je 0x5a92e
movq -0x128(%rbp), %rdi
leaq 0x48b13(%rip), %rsi     # 0xa3428
leaq 0x498f4(%rip), %rdx     # 0xa4210
xorl %eax, %eax
movl %eax, %ecx
callq 0x8350
movq %rax, -0x130(%rbp)
jmp 0x5a939
xorl %eax, %eax
movq %rax, -0x130(%rbp)
jmp 0x5a939
movq -0x130(%rbp), %rax
movq %rax, -0xf8(%rbp)
cmpq $0x0, -0xd0(%rbp)
je 0x5a9ac
cmpq $0x0, -0xf8(%rbp)
je 0x5a9ac
movq -0xf8(%rbp), %rax
cmpq -0xd0(%rbp), %rax
je 0x5a9ac
movq 0x4a666(%rip), %rdi     # 0xa4fd8
leaq 0x18c4a(%rip), %rsi     # 0x735c3
callq 0x82b0
movq %rax, -0x138(%rbp)
jmp 0x5a987
movq -0x138(%rbp), %rdi
movq 0x4a61b(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x5a99c
movb $0x1, -0x1(%rbp)
movl $0x1, -0xc4(%rbp)
jmp 0x5a9e5
cmpq $0x0, -0xf8(%rbp)
je 0x5a9c4
movq -0xf8(%rbp), %rax
movq %rax, -0xd0(%rbp)
jmp 0x5a9c6
leaq -0xe0(%rbp), %rdi
callq 0x5b7b0
jmp 0x5a8c1
movb $0x0, -0x1(%rbp)
movl $0x1, -0xc4(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x5b7e0
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
leaq -0x70(%rbp), %rdi
callq 0x5b7e0
movq -0x78(%rbp), %rdi
callq 0x84d0
nop