context addable
    with parameters
      T: type

    with members
      ?+?: function
          with parameters
            instance of type T (not function type) 
            instance of type T (not function type) 
          returning 
            instance of type T (not function type) 


struct __anonymous0
    with members
      data: instance of type T (not function type) 
      next: pointer to instance of type List (not function type) 
        with parameters
          instance of type T (not function type) 


List: type for pointer to instance of struct __anonymous0 
  with parameters
    T: type
      with assertions
        instance of context addable 
          with parameters
            instance of type T (not function type) 



  with assertions
    instance of context addable 
      with parameters
        instance of type T (not function type) 


ListOfIntegers: typedef for instance of type List (not function type) 
  with parameters
    signed int 

li: instance of type ListOfIntegers (not function type) 
f: function
    with parameters
      g: pointer to function
          with parameters
            signed int 
          returning 
            instance of type List (not function type) 
              with parameters
                signed int 


    returning 
      signed int 

h: function
    with parameters
      p: pointer to instance of type List (not function type) 
        with parameters
          signed int 

    returning 
      signed int 

struct node
    with parameters
      T: type
        with assertions
          instance of context addable 
            with parameters
              instance of type T (not function type) 



    with members
      data: instance of type T (not function type) 
      next: pointer to instance of struct node 
        with parameters
          instance of type T (not function type) 


List: type for pointer to instance of struct node 
  with parameters
    instance of type T (not function type) 

  with parameters
    T: type

my_list: instance of type List (not function type) 
  with parameters
    signed int 

Complex: type
  with assertions
    instance of context addable 
      with parameters
        instance of type Complex (not function type) 


main: C function
      accepting unspecified arguments
    returning 
      signed int 
    with body 
      CompoundStmt
                  Expression Statement:
            Cast of:
              Name: my_list

            to:
              instance of struct node 
                with parameters
                  signed int