Example for rewriting a ready derivation