LINKED
Set(t, LINKED);
if (Status(t, LINKED)) {
if (Status(t, LINKED)) {
if (Status(t, LINKED)) {
if (Status(t, LINKED)) {
if (Status(t, LINKED))
if (Status(t, LINKED))
if (Status(t, LINKED))
if (Status(t, LINKED))
rrecp = LINKED(rrecp, r_link) ? NEXT(rrecp, r_link) : NULL) {
INSIST(!LINKED(elt, link));\
INSIST(!LINKED(elt, link));\
INSIST(!LINKED(elt, link));\
INSIST(LINKED(elt, link));\
INSIST(!LINKED(elt, link));\