- debugging editor
- fixed few issues with duplicate information and subordinates in different theorem parts