/tests/lean/misc/loops/Loops/Clauses/