spine for non-unary terms should produce Nothing instead of exception