The top documents tagged [loop invariant statement]