Po crl

Tirando a cena dos gets que não devem ser permitidos em algumas
pós-condições e pré-condições, está a funcionar fixe. Tinha outra coisa
para dizer, mas já me esqueci, quando me lembrar comunico