24/07/23 - LCL905-1 - Corrected include of Alternative Wajsberg algebra definitions.