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