Array access

Array access[53]:

RULE: Expression ::= Expression '[' Expression ']' COMPUTE
  DyadicContext(Expression[1],,Expression[2],Expression[3]);
  Indication(arrayAccess);
END;

This macro is invoked in definition 45.