added pred succ processing