- static (reference) fields realised by
  - extending heaps by a fourth component 
    sheap :: cname => rfieldname => ref

TODO:
- animation of OpSem
- adaptation for virtual invokes, including
  definition of goodContext
- merge goodContext and consistent
  (or prove mutrec and completeness for goodContext instead
   of consistent)
