Text this: Analyzing loop paths for execution time estimation

  _  __     ___      ______    ______   _    _   
 | |/ //   / _ \\   /_____//  /_   _// | || | || 
 | ' //   | / \ ||  `____ `    -| ||-  | || | || 
 | . \\   | \_/ ||  /___//     _| ||_  | \\_/ || 
 |_|\_\\   \___//   `__ `     /_____//  \____//  
 `-` --`   `---`    /_//      `-----`    `---`   
                    `-`