brun '(x (q . -1) (q . -1))'
FAIL: klvm raise (-1 -1)
