Loop termination working with the help of compiler generated measures.