Terminar implementação para realizar o splitting do exemplo inicial

[augusto2112]

• Tratar todos os casos de inequações (<, >, <=, >=).
• Escolher o scev correto do loop de acordo com a inequação (por exemplo, a > i ou i < a), atualmente isso está hard-coded pressupondo que a variável de indução do loop é sempre a segunda.