Let all methods in LogicTest throw Exception