implement method of drawing on center of a rectangle
change the structure of proof to MTree<Sequent>