CostUtils.CostModelEnv
type cost_model_env = {
model_env : BO.BufferOverrunUtils.ModelEnv.model_env;
get_summary : IR.Procname.t -> CostDomain.summary option;
}