Algoritmo para generar ternas de Hoare