Proved one more case in insert'_impl_appears.