Compressing the State Space Representation of LOTOS Specifications