(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))))-})