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