(Statements
{+(BXOr
  {+(Identifier)+}
  {+(Identifier)+})+}
{+(Modulo
  {+(Identifier)+}
  {+(Identifier)+})+}
{+(LShift
  {+(Identifier)+}
  {+(Identifier)+})+}
{+(RShift
  {+(Identifier)+}
  {+(Identifier)+})+}
{+(UnsignedRShift
  {+(Identifier)+}
  {+(Identifier)+})+}
{+(Plus
  {+(Integer)+}
  {+(Integer)+})+}
{+(Minus
  {+(Integer)+}
  {+(Integer)+})+}
{+(Times
  {+(Integer)+}
  {+(Integer)+})+}
{+(DividedBy
  {+(Integer)+}
  {+(Integer)+})+}
{-(GreaterThan
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(LessThan
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(Equal
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(GreaterThanEqual
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(LessThanEqual
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(Not
  {-(Equal
    {-(Identifier)-}
    {-(Identifier)-})-})-}
{-(And
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(Or
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(BAnd
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(BOr
  {-(Identifier)-}
  {-(Identifier)-})-})