[Termination tools] competition for context-sensitive rewriting

[Salvador Lucas]

Dear Peter,

Peter Schneider-Kamp wrote:

> P.S.: TRCSR/ExSec11_1_Luc02a is not translated and contains
>       a (STRATEGY CONTEXTSENSITIVE ...) declaration.

I am sorry; this is just the CS-TRS source of all the other
ExSec11_1_Luc02a_* which are obtained by applying
different transformations on it. Should be just removed.
Thanks for noticing!

Best regards,

Salvador.