[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.
─────╯
