===============  a  ===============

ops:
   Ri  SYM2 x: K_OP T_OP(){send}:T_VOID