Implemented: Detection of reoccurence of states, simple tree printing