object ctr is 
   ctr  
  function n : ctr -> nat
  method incr : ctr -> ctr
  axioms 
     n(new(C)) = 0
     n(incr(C)) = n(C) + 1
  end