T: a type
  with assertions
    x: a function
        with parameters
          instance of type T 
        returning 
          instance of type T 


?=?: a automatically generated function
    with parameters
      _dst: a pointer to instance of type T 
      _src: a instance of type T 
    returning 
      instance of type T 

y: a function
    with parameters
      t: a instance of type T 
    returning 
      instance of type T 
    with body 
      Declaration of t_instance: a instance of type T 
      
        Return Statement, returning: Cast of:
  Application of
    Variable Expression: x: a function
        with parameters
          instance of type T 
        returning 
          instance of type T 

  to arguments
          Variable Expression: t: a instance of type T 


to:
  instance of type T 
with environment:
  Types:
  Non-types:



*?: a forall
      T: a type
        with assertions
          ?=?: a pointer to function
              with parameters
                pointer to instance of type T 
                instance of type T 
              returning 
                instance of type T 


    function
    with parameters
      pointer to instance of type T 
    returning 
      lvalue instance of type T 

?++: a function
    with parameters
      pointer to signed int 
    returning 
      signed int 

?=?: a function
    with parameters
      pointer to signed int 
      signed int 
    returning 
      signed int 

?=?: a forall
      DT: a incomplete type
    function
    with parameters
      pointer to pointer to instance of type DT 
      pointer to instance of type DT 
    returning 
      pointer to instance of type DT 

U: a type for pointer to signed int 
?=?: a automatically generated function
    with parameters
      _dst: a pointer to instance of type U 
      _src: a instance of type U 
    returning 
      instance of type U 
    with body 
      
        Return Statement, returning: Cast of:
  Application of
    Variable Expression: ?=?: a forall
          DT: a incomplete type
        function
        with parameters
          pointer to pointer to instance of type DT 
          pointer to instance of type DT 
        returning 
          pointer to instance of type DT 

  to arguments
          Cast of:
        Variable Expression: _dst: a pointer to instance of type U 

      to:
        pointer to pointer to signed int 

          Cast of:
        Variable Expression: _src: a instance of type U 

      to:
        pointer to signed int 


to:
  instance of type U 
with environment:
  Types:
    _0_DT -> signed int 
  Non-types:



x: a function
    with parameters
      u: a instance of type U 
    returning 
      instance of type U 
    with body 
      Declaration of u_instance: a instance of type U with initializer 
        Simple Initializer:           Name: u

      
        Expression Statement:
          Application of
            Variable Expression: ?++: a function
                with parameters
                  pointer to signed int 
                returning 
                  signed int 

          to arguments
                          Address of:
                Application of
                  Variable Expression: *?: a forall
                        T: a type
                          with assertions
                            ?=?: a pointer to function
                                with parameters
                                  pointer to instance of type T 
                                  instance of type T 
                                returning 
                                  instance of type T 


                      function
                      with parameters
                        pointer to instance of type T 
                      returning 
                        lvalue instance of type T 

                to arguments
                                      Cast of:
                      Variable Expression: u: a instance of type U 

                    to:
                      pointer to signed int 

                with inferred parameters:
                  ?=?: a function
                    with parameters
                      pointer to signed int 
                      signed int 
                    returning 
                      signed int 


          with environment:
            Types:
              _0_T -> signed int 
            Non-types:

      
        Return Statement, returning: Cast of:
  Variable Expression: u: a instance of type U 

to:
  instance of type U 
with environment:
  Types:
  Non-types:



break_abstraction: a function
    with parameters
      u: a instance of type U 
    returning 
      pointer to signed int 
    with body 
      
        Return Statement, returning: Cast of:
  Variable Expression: u: a instance of type U 

to:
  pointer to signed int 
with environment:
  Types:
  Non-types: