Optimize adjacent DIPs
Clarification and motivation
Apparently DIP { aaa }; DIP { bbb };
is equivalent to DIP { aaa; bbb }
, but the latter has less instructions and should be cheaper.
Acceptance criteria
Add a new rule to Michelson.Optimizer
to merge adjacent DIP
s into one DIP
.