problems and begining of patience in Why3