(Program
{+(If
  {+(Identifier)+}
  {+(Call
    {+(Identifier)+}
    {+(Empty)+})+}
  {+(
    {+(Identifier)+})+})+}
  (Assignment
  { (Identifier)
  ->(Identifier) }
    (If
    { (Identifier)
    ->(Identifier) }
    { (Identifier)
    ->(Identifier) }
      (
      { (Identifier)
      ->(Identifier) })))
{-(If
  {-(Identifier)-}
  {-(Call
    {-(Identifier)-}
    {-(Empty)-})-}
  {-(
    {-(Call
      {-(Identifier)-}
      {-(Empty)-})-})-})-})