Fix predecessor and successor traversing.
More specs!