1.1.3. Ejercicio 3: laCasaEstaQuedandoChica
proc laCasaEstaQuedandoChica (in th: ephh, in ti: ephi, out res: seq〈Z〉) {
Pre {encuestaV alida(th, ti)}
Post {
|res| = 6
∧ (∀i : Z)(0 ≤ i < |res| −→L res[i] = proporcionDeCasasConHacinamientoCritico(th, ti, i + 1))
}
}