separated file, implemented active proof tree, and bugfixes