Add Failing test for per-generation thread join

To do this, and extra example is added: get all possible extensions of
the input having length 2n+1 which are still in the given language.