git-issue-663.dfy(250,23): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(252,26): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(255,33): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(256,36): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(260,33): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(261,36): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(265,33): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(266,36): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(5,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(8,8): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(12,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(16,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(22,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(25,8): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(29,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(33,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(39,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(44,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(50,6): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(55,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(59,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(64,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(70,6): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(75,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(81,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(86,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(92,6): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(97,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(101,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(106,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(112,6): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(117,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(122,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(125,8): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(129,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(132,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(137,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(140,8): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(144,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(147,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(154,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(155,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(157,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(156,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(162,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(163,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(165,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(164,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(170,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(171,8): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(172,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(173,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(179,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(180,8): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(181,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(182,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(190,10): Warning: This ensures clause is part of a bodyless method. Add the {:axiom} attribute to it or the enclosing method to suppress this warning
git-issue-663.dfy(188,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(189,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(191,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(190,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(196,10): Warning: This ensures clause is part of a bodyless method. Add the {:axiom} attribute to it or the enclosing method to suppress this warning
git-issue-663.dfy(194,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(195,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(197,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(196,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(202,10): Warning: This ensures clause is part of a bodyless function. Add the {:axiom} attribute to it or the enclosing function to suppress this warning
git-issue-663.dfy(200,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(201,8): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(202,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(203,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(208,10): Warning: This ensures clause is part of a bodyless function. Add the {:axiom} attribute to it or the enclosing function to suppress this warning
git-issue-663.dfy(206,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(207,8): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(208,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(209,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(214,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(216,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(214,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(216,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(221,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(223,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(222,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(225,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(223,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(222,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(229,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(229,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(233,10): Warning: This ensures clause is part of a bodyless method. Add the {:axiom} attribute to it or the enclosing method to suppress this warning
git-issue-663.dfy(232,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(234,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(233,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(234,12): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(233,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(279,13): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(279,30): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(280,19): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(281,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(281,21): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(282,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(283,14): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(283,31): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(284,20): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(284,37): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(288,13): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(288,30): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(289,19): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(290,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(291,14): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(291,31): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(292,20): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(292,37): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(296,13): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(296,30): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(297,19): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(298,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(299,14): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(299,31): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(300,20): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(300,37): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(305,13): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(305,30): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(306,19): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(307,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(308,14): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(308,31): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(309,20): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(309,37): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(239,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(242,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(245,16): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(248,16): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(316,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(319,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(323,6): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(327,6): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(333,4): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(336,10): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(340,6): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(344,6): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(221,11): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(225,2): Warning: assume statement has no {:axiom} annotation
git-issue-663.dfy(232,11): Warning: assume statement has no {:axiom} annotation

Dafny program verifier finished with 23 verified, 0 errors
git-issue-663.dfy(187,7): Error: Method _module._default.SpecificationOfCompiledMethodWithoutBody has no body so it cannot be compiled
git-issue-663.dfy(199,9): Error: Function _module._default.SpecificationOfCompiledFunctionWithoutBody has no body so it cannot be compiled
Translation was aborted because errors were found
