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