Function generate_state_change_tests_from_cfg 

pub fn generate_state_change_tests_from_cfg(
    graph: &CallGraph,
    ctx: &CallGraphGeneratorContext,
    contract_name: &str,
    function_name: &str,
    function_params: &[ParameterInfo],
) -> Result<Vec<SolidityTestContract>>