(Program
{+(Assignment
  {+(
    {+(Identifier)+}
    {+(Identifier)+})+}
  {+(
    {+(Integer)+}
    {+(Integer)+})+})+}
  (Assignment
  { (Identifier)
  ->(Identifier) }
    (Integer))
{+(Assignment
  {+(Identifier)+}
  {+(
    {+(Integer)+}
    {+(Integer)+})+})+}
{-(Assignment
  {-(
    {-(Identifier)-}
    {-(Identifier)-})-}
  {-(
    {-(Integer)-}
    {-(Integer)-})-})-}
{-(Assignment
  {-(Identifier)-}
  {-(
    {-(Integer)-}
    {-(Integer)-})-})-})