x: function
      accepting unspecified arguments
    returning 
      double 
    with body 
      CompoundStmt
        Declaration of x1: signed int 
        Declaration of x2: signed int 
        Declaration of v: double 
                  If on condition: 
              Cast of:
                Applying untyped: 
                    Name: ?!=?
                ...to: 
                    Applying untyped: 
                        Name: ?<?
                    ...to: 
                        Cast of:
                          Applying untyped: 
                              Name: ?-?
                          ...to: 
                              Name: x1
                              Name: x2

                        to:
                          long signed int 
                        Name: 1
                    Name: 0

              to:
                signed int 
          .... and branches: 
              Return Statement, returning: Applying untyped: 
    Name: -?
...to: 
constant expression 1.0 double 

                  Expression Statement:
            Applying untyped: 
                Name: ?=?
            ...to: 
                Address of:
                  Name: v
                Applying untyped: 
                    Name: t
                ...to: 
                    Name: v

                  Expression Statement:
            Applying untyped: 
                Name: ?=?
            ...to: 
                Address of:
                  Name: v
                Applying untyped: 
                    Name: y
                ...to: 
                    Name: 1
                    Conditional expression on: 
                      Cast of:
                        Applying untyped: 
                            Name: ?!=?
                        ...to: 
                            Applying untyped: 
                                Name: ?>?
                            ...to: 
                                Name: v
constant expression 0.0 double                             Name: 0

                      to:
                        signed int 
                    First alternative:
                      Cast of:
                        Name: v

                      to:
                        signed int 
                    Second alternative:
                      Applying untyped: 
                          Name: ?-?
                      ...to: 
                          Cast of:
                            Name: v

                          to:
                            signed int 
                          Name: 1