add test cases for Succ and Pred.
Fix a bug in Pred.