Extended LogicTest cases