src/datalog_conformance/_tests/negation/souffle_example_tic-tac-toe.yaml::souffle_tic-tac-toe_decided_games: _CaseVerificationError: [219] Error: predicate `p_15_reachable_state` used with arity 10.
   ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:6:1 ]
   │
 6 │ p_15_reachable_state(?a1, ?b1, ?c1, ?a2, ?b2, ?c2, ?a3, ?b3, ?c3, ?p) :- p_18_state_succ(?anon_1, ?anon_2, ?anon_3, ?anon_4, ?anon_5, ?anon_6, ?anon_7, ?anon_8, ?anon_9, ?anon_10, ?a1, ?b1, ?c1, ?a2, ?b2, ?c2, ?a3, ?b3, ?c3, ?p) .
   │ ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────┬─────────────────────────────────────────────────────────────────────────────────────────────────────────────────  
   │                                                                                                                   ╰─────────────────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
   │
   ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:6:1 ]
   │
 5 │ p_15_reachable_state(0) .
   │ ───────────┬───────────  
   │            ╰───────────── predicate was used here with arity 1
   │ 
   │ Note: each predicate is only allowed to have one arity
───╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:23:1 ]
    │
 23 │ p_19_valid_move(?aa1, " ", ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a, ?aa1, ?a, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3) :- p_15_reachable_state(?aa1, " ", ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a) .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                       ╰──────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:23:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:24:1 ]
    │
 24 │ p_19_valid_move(?aa1, ?ab1, " ", ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a, ?aa1, ?ab1, ?a, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3) :- p_15_reachable_state(?aa1, ?ab1, " ", ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a) .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                       ╰──────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:24:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:25:1 ]
    │
 25 │ p_19_valid_move(?aa1, ?ab1, ?ac1, " ", ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a, ?aa1, ?ab1, ?ac1, ?a, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3) :- p_15_reachable_state(?aa1, ?ab1, ?ac1, " ", ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a) .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                       ╰──────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:25:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:26:1 ]
    │
 26 │ p_19_valid_move(?aa1, ?ab1, ?ac1, ?aa2, " ", ?ac2, ?aa3, ?ab3, ?ac3, ?a, ?aa1, ?ab1, ?ac1, ?aa2, ?a, ?ac2, ?aa3, ?ab3, ?ac3) :- p_15_reachable_state(?aa1, ?ab1, ?ac1, ?aa2, " ", ?ac2, ?aa3, ?ab3, ?ac3, ?a) .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                       ╰──────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:26:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:27:1 ]
    │
 27 │ p_19_valid_move(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, " ", ?aa3, ?ab3, ?ac3, ?a, ?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?a, ?aa3, ?ab3, ?ac3) :- p_15_reachable_state(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, " ", ?aa3, ?ab3, ?ac3, ?a) .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                       ╰──────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:27:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:28:1 ]
    │
 28 │ p_19_valid_move(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, " ", ?ab3, ?ac3, ?a, ?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?a, ?ab3, ?ac3) :- p_15_reachable_state(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, " ", ?ab3, ?ac3, ?a) .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                       ╰──────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:28:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:29:1 ]
    │
 29 │ p_19_valid_move(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, " ", ?ac3, ?a, ?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?a, ?ac3) :- p_15_reachable_state(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, " ", ?ac3, ?a) .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                       ╰──────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:29:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:30:1 ]
    │
 30 │ p_19_valid_move(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, " ", ?a, ?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?a) :- p_15_reachable_state(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, " ", ?a) .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────┬──────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                       ╰──────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:30:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:31:1 ]
    │
 31 │ p_18_state_succ(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a, ?ba1, ?bb1, ?bc1, ?ba2, ?bb2, ?bc2, ?ba3, ?bb3, ?bc3, ?b) :- p_15_reachable_state(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a), p_12_other(?a, ?b), ~p_10_finished(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3), p_19_valid_move(?aa1, ?ab1, ?ac1, ?aa2, ?ab2, ?ac2, ?aa3, ?ab3, ?ac3, ?a, ?ba1, ?bb1, ?bc1, ?ba2, ?bb2, ?bc2, ?ba3, ?bb3, ?bc3) .
    │ ────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┬───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                                                                                                                                         ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:31:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
[219] Error: predicate `p_15_reachable_state` used with arity 10.
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:32:1 ]
    │
 32 │ p_14_possible_results(?a1, ?b1, ?c1, ?a2, ?b2, ?c2, ?a3, ?b3, ?c3, ?p, "O") :- p_15_reachable_state(?a1, ?b1, ?c1, ?a2, ?b2, ?c2, ?a3, ?b3, ?c3, ?p), p_11_has_won(?a1, ?b1, ?c1, ?a2, ?b2, ?c2, ?a3, ?b3, ?c3, "O") .
    │ ──────────────────────────────────────────────────────────────────────────────────────────────────────────┬─────────────────────────────────────────────────────────────────────────────────────────────────────────  
    │                                                                                                           ╰─────────────────────────────────────────────────────────────────────────────────────────────────────────── predicate `p_15_reachable_state` used with arity 10.
    │
    ├─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-7g0fsyq3\program.rls:32:1 ]
    │
  5 │ p_15_reachable_state(0) .
    │ ───────────┬───────────  
    │            ╰───────────── predicate was used here with arity 1
    │ 
    │ Note: each predicate is only allowed to have one arity
────╯
