package body Mccabe_Predicates is

    procedure Change (Pi : in out Count; With_Delta : in Integer := 1) is
        --**
        Intermediate_Value : Integer := Integer (Pi);
    begin
        -- Change

        --**
        Intermediate_Value := Intermediate_Value + With_Delta;
        --**
        Pi := Count (Intermediate_Value);

    end Change;

end Mccabe_Predicates;