Pre-Compilation code for performing transformations 
    * PDDL -> Non Naive DNF transformations ("Nebel") and 
    * PDDL -> PDDL with derived predicates.

Switching between two modes of pre-compilations is performed by changing a bool variable 
    Bool nebel = TRUE;
in Line 202 in main.c

After running "make", the program is run by receiving a command line 

./ff -o DOMAINFILE -f PROBLEMFILE -A

As an output, it creates two files, domain.pddl and facts.pddl 
