PROCEDURE (t: Traffic) CheckUniqueName*(): BOOLEAN;

        VAR
            teller1, teller2, lengte: INTEGER;
            node, node2, keepsafe: CircDLL.Node;
    BEGIN
        node2 := t^.Planes^.GetFirstNode();
        node2 := node2^.NextNode();
        keepsafe := node2;
        node := t^.Planes^.GetFirstNode();
        lengte := t^.Planes^.GetLength();
        Out.Int(lengte, 0);
        Out.Ln();
        FOR teller1 := 1 TO lengte BY 1 DO
            FOR teller2 := 2 TO lengte BY 1 DO
                IF node(Airplane.Airplane)^.GetNumber() = node2(Airplane.Airplane)^.GetNumber() THEN
                    RETURN FALSE;
                END;
                node2 := node2^.NextNode();
            END;
            node := node^.NextNode();
            node2 := keepsafe;
        END;
        RETURN TRUE;
    END CheckUniqueName;

--------------------------------------

PROCEDURE (t: Traffic) ConsistencyCheck*(): BOOLEAN;

    BEGIN
        IF (t^.CheckUniqueName()) THEN
            RETURN TRUE;
        ELSE
            RETURN FALSE;
        END;
    END ConsistencyCheck;