Add Daikon invariant detector#427

mre merged 1 commit into

analysis-tools-dev:masteranalysis-tools-dev/dynamic-analysis:masterfrom

nkrusch:masterCopy head branch name to clipboard