on nested irregular loops available on http://panda.dei.polimi.it/?page_id=177. Upcoming PandA 0.9.5 will include the code.