Test a loop with invariants.