lengyijun / lengauer-tarjan-why3

// ok
why3 -L .  replay simplelist/
why3 -L .  replay listhelper/

why3 -L .  replay dominator/
// 4 errors expected in `wrong1`

why3 -L .  replay lengauer-tarjan/

dom         ~~>
idom        ~>
semi dom ++>
min semi dom +>