Investigate special annotations for LEFT and RIGHT
Clarification and motivation
According to http://tezos.gitlab.io/whitedoc/michelson.html#special-annotations, there are special annotations that can be used on instructions
PAIR. In 1b98d385 we added special handling for
PAIR, but for some reason it's not present for
RIGHT. Maybe it works correctly already, but we should check that, it's not clear to me.
- There is a test showing that
RIGHTinstructions with special annotations are handled correctly.
- If it doesn't pass with current version of our code, the corresponding bug in our code is fixed.