Process calc Inv InvariantTree Is
   Pre inTree : Tree;
   Post outTree : NewTree;
End
