Fixed calculation for loops
Fixed tree-based and ILP-based analyses
Added timing information