String AnalysisSettings.ScratchSolverFilesDirectory { get; }