Correções na heurística IMP

Finalização da lógica da heurística, aparentemente funcional, ainda não
testada completamente.