package body Predicate13 is
    procedure Dummy is null;
end Predicate13;