Գրեք սա: Functional program testing and analysis