adding some functionality tests (but not correctness tests)