add entry point for GUI test
create ProofFigure
add fields/setter/getter of x and y, change to mutable
implement getMaxDepth method
add return type parameter for Visitor, change getSubFigure method
add method countSubFigures()
create drawer implementation