Open jan-ferdinand opened 7 months ago
Patterns like
push n write_mem 1 pop 1 push n+1
can be collapsed to
push n write_mem 1
Patterns like
can be collapsed to