Faster Lifting for Ordered Domains with Predecessor Relations