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