pub fn analyze( env: &Env, func: &Function, func_c_params: &[CParameter], func_ret: &Info, configured_functions: &[&Function], ) -> (Info, bool)