Let LogicTest.tearDown() reset the database