change Test...() to Verify() in non-testing file