if the ```find_resolved_modules``` does not modify ```avail_modules```, then this is not a while loop (the condition is False at the assignment above).