Deakstadieđáhus: Functional program testing and analysis