Snapshot before removing `Map_of_BoolMap`
Simplify PatternGenerator