pub fn run_analysis(
    contract_identifier: &QualifiedContractIdentifier,
    expressions: &mut [SymbolicExpression],
    analysis_db: &mut AnalysisDatabase<'_>,
    save_contract: bool,
    cost_tracker: LimitedCostTracker
) -> Result<ContractAnalysis, (CheckError, LimitedCostTracker)>