refactored prooftrees into seperate files, added command for this, and make case study chapter