Abstract evaluation


   -[new]-> 
   -[incr]-> 
   -[incr]-> 
   -[n]->
  <2, { C[n:=2] }>
slide: An example of abstract evaluation