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