pequenas correcoes nas preconditions