enclosing testing statements in deftest so they can be recognized