Clean up LogicTest