Causal compression and trivial compression are now separated.
Only causal compression can be dumped for the moment.

Examples have been modified because causal compression without trivial compression does not scale up.