Test a loop with invariants.
