[232] Error: arity of predicate p_3_C1 is unknown
    ╭─[ C:\Users\Q\AppData\Local\Temp\nemo-verify-_cslbxre\program.rls:38:1 ]
    │
 38 │ @export p_3_C1 :- csv {}.
    │ ────────────┬───────────  
    │             ╰───────────── arity of predicate p_3_C1 is unknown
    │ 
    │ Note: arity of predicates in import/export statements must be known in advance.
────╯
