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