TESTS: restore tests re: issue #555 to logic-test.reds