Start implementing strong compression.
=> Computing which substitutions can be applied before each event.