Dafny program verifier finished with 22 verified, 0 errors
Program compiled successfully
Running...

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 / 1.0))
From OtherModule.Y: 7 and True
This is OtherModule.P((7.0 / 1.0))
From OtherModule.X: 7 and True
c.f= 15 j.f= 15
c.f= 18 j.f= 18