findSubstring output improvement

[dakusui]

Following is the "as-is" output.

.ASIS

    "Gallia est omnis divis...Bello Gallicco."->transform
                                                  findTokens                       ->"Gallia est omnis divis...Bello Gallicco."
                                                  identity                         ->"Gallia est omnis divis...Bello Gallicco."
                                                VERIFY
                                                  &&                               ->true
                                                    findTokenBy[substring[Gallia]] ->true
    " est omnis divisa in p...Bello Gallicco."->    findTokenBy[substring[quarum]] ->true
[0] " unum incolunt Belgae,...Bello Gallicco."->    findTokenBy[substring[Belgium]]->true
                                                    findTokenBy[substring[nostra]] ->true
    " Galli Appellantur. De Bello Gallicco."  ->    findTokenBy[substring[De]]     ->true
[1] " Bello Gallicco."                        ->    findTokenBy[substring[Bellum]] ->true
                                                    (end)                          ->true

.Detail of failure [0]
----
Gallia est omnis divisa in partes tres, quarum
<<NOTFOUND:substring[Belgium]>>
 unum incolunt Belgae, aliam Acquitanii, tertiam nostra Galli Appellantur. De Bello Gallicco.
----

.Detail of failure [1]
----
Gallia est omnis divisa in partes tres, quarum unum incolunt Belgae, aliam Acquitanii, tertiam nostra Galli Appellantur. De
<<NOTFOUND:substring[Bellum]>>
 Bello Gallicco.
----

I want to make it like following.

.TOBE

    "Gallia est omnis divis...Bello Gallicco."->transform
                                                  findTokens                       ->"Gallia est omnis divis...Bello Gallicco."
                                                  identity                         ->"Gallia est omnis divis...Bello Gallicco."
                                                VERIFY
                                                  &&                               ->false
                                                    findTokenBy[substring[Gallia]] ->true
    " est omnis divisa in p...Bello Gallicco."->    findTokenBy[substring[quarum]] ->true
[0] " unum incolunt Belgae,...Bello Gallicco."->    findTokenBy[substring[Belgium]]->false
                                                    findTokenBy[substring[nostra]] ->true
    " Galli Appellantur. De Bello Gallicco."  ->    findTokenBy[substring[De]]     ->true
[1] " Bello Gallicco."                        ->    findTokenBy[substring[Bellum]] ->false
[2]                                                   (end)                          ->false

.Detail of failure [0]
----
Gallia est omnis divisa in partes tres, quarum
<<NOTFOUND:substring[Belgium]>>
 ----

.Detail of failure [1]
----
...Galli Appellantur. De
<<NOTFOUND:substring[Bello]>>
----
.Detail of failure [2]
----
 Bello Gallicco.
----