Add loop invariant sample
Add "do" method in dialect dialect