[abc] Debug flags

Hello.

Regarding table "Fig:further":

Could you please tell (or better even write into the tex file) me what
exact debug flags ought to be used to fill up the table? For instance I
found a flag useIndexing, which presumably enabled the new indexing.
However, I found no such flag for turning off leak detection. Also I am
not sure whether useNFA should be enabled. I think it is essential to
have this 100% clear before we start over with the final benchmark runs.

Eric

--
Eric Bodden
Sable Research Group, McGill University
Montreal, Canada