Experimenting with CDFinder by Norbert Doerner