x: function
      accepting unspecified arguments
    returning 
      signed int 
    with body 
      CompoundStmt
        Declaration of y: signed int 
                  Expression Statement:
            Conditional expression on: 
              Cast of:
                Applying untyped: 
                    Name: ?!=?
                ...to: 
                    Applying untyped: 
                        Name: ?>?
                    ...to: 
                        Name: y
constant expression 0.0 double                     Name: 0

              to:
                signed int 
            First alternative:
              Name: y
            Second alternative:
              Applying untyped: 
                  Name: ?-?
              ...to: 
                  Name: y
                  Name: 1