static void Main(string[] args)
{
var svm = new SVM(new MethodInterpreter(new ExceptionsExplorationSearcher()));
svm.ConfigureSolver();
var testingMethodType = typeof(Test.Tests.PDR);
var testingMethod = testingMethodType.GetMethod("BreakCallSitesCompositionRecursion");
svm.ExploreOne(testingMethod);
}