adding symbolic z0 test case for factorials