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