Add more DROP rules to optimizer
Description
Some obvious DROP
s are not eliminated.
Steps to reproduce
Try to optimize code produced by UNPAIR; DROP
:
DUP; CAR; DIP { CDR }; DROP
Expected behaviour
Results to CDR
.
Actual behaviour
Results to DUP; CAR; DROP; CDR
.
Environment
- Ubuntu 17, built from sources.
- Recent master:
01fb7473cb36216369e8b92db2de669c72ce85f0
.