Use is_one_step to find any predecessor in ladder
Fix wrong increase