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