I think the problem is not the manual, but that the errors are displayed not in the first run, but somewhat later. There is no dedicated "verification run" for checking wrong order of commands - the checking is implicit in the execution.

It would be certainly more user friendly if contradicting commands or commands that violate some restrictions are found already in the first run. I'll put this on the to do list.