Chains of #mapOffset functions #81
Description
Observed in proofs test_process_initialize_mint and test_process_set_authority_mint:
Comparison operations on byte arrays ([u8]) sometimes feature chains of #mapOffset applications.
The #mapOffset function adjusts the offset in arrays when they contain references or pointers (which carry a stack offset). The function should be evaluated and not leave unevaluated terms behind. States returned to the client should always be simplified so it is unclear why these calls are left unevaluated.
Whether this is harmful or not is also unclear.