7bad33d249
* Refactoring before new functionality * Simplify and use just count of proofs
* Refactoring before new functionality * Simplify and use just count of proofs