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