use contracts instead of poor descriptions of input functions to tests
update tests to use contracts for input funs
updated define-test comment to describe usage of contracts instead of descriptions