Modify MTA module

[JoelYYoung]

• Add k-limiting context sensitivity for MTA.
• Fix bugs in MHP, ForkJoinAnalysis and LockAnalysis.
• Refactor

[codecov]

Codecov Report

❌ Patch coverage is 64.51613% with 55 lines in your changes missing coverage. Please review.
✅ Project coverage is 64.00%. Comparing base (2fd92c6) to head (9813289).
⚠️ Report is 19 commits behind head on master.

Files with missing lines	Patch %	Lines
svf/lib/MTA/LockAnalysis.cpp	0.00%	24 Missing ⚠️
svf/lib/MTA/MHP.cpp	63.07%	24 Missing ⚠️
svf/include/MTA/MHP.h	73.33%	4 Missing ⚠️
svf/include/MTA/LockAnalysis.h	0.00%	1 Missing ⚠️
svf/lib/MTA/MTA.cpp	91.66%	1 Missing ⚠️
svf/lib/MTA/TCT.cpp	92.85%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1761      +/-   ##
==========================================
+ Coverage   63.79%   64.00%   +0.21%     
==========================================
  Files         244      244              
  Lines       25980    24454    -1526     
  Branches     4581     4611      +30     
==========================================
- Hits        16573    15653     -920     
+ Misses       9407     8801     -606     

Files with missing lines	Coverage Δ
svf/include/MTA/TCT.h	94.39% <100.00%> (+6.35%)	⬆️
svf/include/MTA/LockAnalysis.h	1.49% <0.00%> (-1.25%)	⬇️
svf/lib/MTA/MTA.cpp	63.63% <91.66%> (-0.16%)	⬇️
svf/lib/MTA/TCT.cpp	76.73% <92.85%> (+5.09%)	⬆️
svf/include/MTA/MHP.h	89.69% <73.33%> (+19.21%)	⬆️
svf/lib/MTA/LockAnalysis.cpp	13.95% <0.00%> (-1.61%)	⬇️
svf/lib/MTA/MHP.cpp	67.91% <63.07%> (+20.69%)	⬆️

... and 197 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.