Proving and Disproving Equivalence of Functional Programming Assignments