(Program
{ (LessThan
  {-(Identifier)-}
  {-(Identifier)-})
->(LessThanEqual
  {+(Identifier)+}
  {+(Identifier)+}) }
{+(GreaterThanEqual
  {+(Identifier)+}
  {+(Identifier)+})+}
{-(GreaterThan
  {-(Identifier)-}
  {-(Identifier)-})-})