initializing pred and succ