
Dafny program verifier finished with 6 verified, 0 errors
y=120
x=12
d=800
a5=407
t=1212
z=30
z'=30
w=30
d=1000
a5=507
t=1512
t=1512
t=1515
This is OtherModule.P(7.0)
From OtherModule.Y: 7 and true
This is OtherModule.P(7.0)
From OtherModule.X: 7 and true
c.f= 15 j.f= 15
c.f= 18 j.f= 18
