getPred and getSucc