1pragma Assertion_Policy (Check);
2
3package Expr_Func6 is
4
5   type Monolean is (Nottrue);
6
7   function Basic_Function return Monolean;
8   function Fancy_Function_With_Contract return Boolean
9     with Pre => Basic_Function = Nottrue;
10
11   function Fancy_Function_With_Contract return Boolean is (False);
12
13   function Basic_Function return Monolean is (Nottrue);
14
15   procedure Dummy;
16
17end Expr_Func6;
18