../../Task/Assertions/ALGOL-W