Regression tests for Zeilberger?



Is there a regression test file for Zeilberger? If not then I will
convert the current
test file to a regression test file and add a test case for a unary minus.

I think a corrrectly working Zeilberger package is crucially important
for maxima.

Michel