../../Task/Assertions/XPL0