Use different PairStruct for PAPAIR
Clarification and motivation
UNPAIR use the same structure (called
PairStruct), but current structure is correct only for
UNPAIR can produce multiple items on stack and hence can have multiple variable annotations, while
PAPAIR are always ignored.
Another representation should be used for
PAPAIR which exactly captures set of all possible