Svag matchende rim for loop analysis