===============  e1  ===============

ops:
   Rs  SYM2 f: K_OP [1:4]T_OP(){send}:T_VOID
   Rp  SYM2 wf: K_OP T_OP():T_VOID