Also, observe that our results do not depend on the general behaviour of a parsing strategy S, but just on its "point-wise" behaviour on each input CFG.
if S does not have the CPP and the SPP, but for some fixed CFG G of interest we obtain a PDT A that has the CPP and the SPP, then we can still apply the construction in Theorem 5.