Make tests in LogicTest use setUp() and tearDown()