(Program
  (If
  { (Send
    {-(Identifier)-})
  ->(Not
    {+(Send
      {+(Identifier)+})+}) }
    (Send
      (Identifier))
    (Empty)))