(Program
{+(If
  {+(Identifier)+}
  {+(Identifier)+}
  {+(Identifier)+})+}
{-(Assignment
  {-(Identifier)-}
  {-(If
    {-(Identifier)-}
    {-(Identifier)-}
    {-(MemberAccess
      {-(Identifier)-}
      {-(Identifier)-})-})-})-})