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