src/datalog_conformance/_tests/basic/souffle_evaluation_count_sccs1.yaml::souffle_count_sccs1_count_scc: _CaseVerificationError: [232] Error: arity of predicate p_1_count_scc is unknown
   ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-ntq26adk\program.rls:9:1 ]
   │
 9 │ @export p_1_count_scc :- csv {}.
   │ ───────────────┬───────────────  
   │                ╰───────────────── arity of predicate p_1_count_scc is unknown
   │ 
   │ Note: arity of predicates in import/export statements must be known in advance.
───╯
