collect the *.smt2 files and analyse constraints
1. Run all JUnit tests with enabled Fortress debugging.
2. Collect all the generated *.smt files with constraints.
3. Analyse constraints: find frequencies of operation usages, detect most often sub-expressions.
4. Propose requirements for the Fortress embedded solver (#4523).