(Program
{+(Complement
  {+(Identifier)+})+}
  (Negate
  { (Identifier)
  ->(Identifier) })
{ (Identifier)
->(Identifier) }
{-(Complement
  {-(Identifier)-})-})