* The usage of this DF module is very simple, just call the constructor of the DFGen class passing the required information, then all df-chains wrt the TUT and all corresponding sets of a-paths will be available. See the description of the DF class for more information.