disco-0.1.0.0: test/error-qualskolem/qualskolem.disco

f : a -> a
f (-x) = x