The termination conjecture for flips

Let $X$ be a terminal $\mathbb Q$-factorial variety which is not minimal. Termination conjecture. After finitely many flips, there is an extremal ray whose exceptional locus has codimension at most one. The source states that termination is true for $n$-folds with $n\leq4$, but leaves the general statement unresolved.