Added ifdefs to include/exlucde DFA becuase of the large memory requirement problem...