decreases k, k

Nov 27, 2012 at 2:14 PM

Is it expected that

decreases k, k
is sometimes more powerful than
decreases k

?

Contrast http://rise4fun.com/Dafny/AyWR with http://rise4fun.com/Dafny/yx52

Thanks for any insight.