../../Task/Assertions/Picat