Redefining types of an old variable in an ensures clause has no sens.
Redefining types of an old variable in an ensures clause has no sens.

Grummfy/Central,vcgato29/Central,Metalaka/Central,vcgato29/Central,Metalaka/Central,Grummfy/Central