Primeira versão funcional do algoritmo de geração de cortes usando lift
and project.