Moved from LogicTest. Although the function is deprecated, it should still be tested until it is removed.