Compression for LMNtal Model Checking