In other words, Shieber's algorithm is correct up to Tomuro and Lytinen Nonminimal Derivations licensing, but incorrect on the basis of a stronger criteria of minimality.
to guarantee correctness based on minimality, we need another algorithm; such an algorithm is exactly the solution to the nonminimal derivation problem.