cmake -DUNRES_DFA to switch on DFA in unres