Validation of predecessor and successor functinos