Fix the `assertions::assertions/2` comment to be less than 256 characters to allow successful compilation using B-Prolog as the back-end compiler