LatexSupport
============
print annotations, trasformare in print failed annotation che stampa solo se
vengono generati gli indici o che genera gli indici dei falliti


Trace
=====
Generare meccanismi di visita (listener, visitor)


Pipeline
========

refactoring della pipeline


SONO NECESSARIE ??
NoSuchBacktrackException
NoSuchConclusionException