`-daikon` has no effect on the control flow of the program

[MJafarMashhadi]

The -daikon option is stored in the configuration singleton, but it is not read anywhere to change the tool's behaviour. Should it be this way?