Function advance_step_cursor

pub(crate) fn advance_step_cursor<'c, 'a>(
    proof: StepCursor<'c, 'a>,
    to: Cursor<'c>,
) -> Cursor<'a>