integrated predecessor jumping for abstractions and improved performance