===============  e2  ===============

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