title: dafny assert violated using sequence
body: <p>Here is the dafny code, the second assertion never pass, anyone can help me out? <a href="http://rise4fun.com/Dafny/0KG4" rel="nofollow noreferrer">enter link description here</a></p>