Implementar detecção que agrega estatísticas para os seguintes casos: - Grau das equações - Tipo de comparações (`<`,`>`, `==`, etc) - Conjunções e disjunções - Tipo de jump (`branch` ou `select`) - Múltiplas comparações por corpo do loop - Alteração do scev dentro de condicionais