Inconsistent output in sequential calls

[marlow-fawn]

I'm on Ubuntu 22.04. When I make identitcal sequential calls, the ouputs are different (second is an error). The docker works as intended, so I imagine it's something specific to my install.

First input/output:

./sparq QUALIFY adcc all "((A 0 0) (B 0 1) (C 0 2))"
Warning: Possible error in TERNARY calculus definition of Double Cross Calculus - single number notation (DCC2): :parametric? not specified
Warning: Possible error in TERNARY calculus definition of Double Cross Calculus - single number notation (DCC2): Decision method for deciding consistency of constraint network not specified
((A B (0) C))

Second:

./sparq QUALIFY adcc all "((A 0 0) (B 0 1) (C 0 2))"

An unhandled internal error occured - developer's fault, sorry. Error = The alien function "dcc2_qualify" is undefined.